| Sat, 28 Apr 2012 17:50:42 +0200 | wenzelm | some coverage of Isabelle/Scala tools; | file | diff | annotate |
| Tue, 03 May 2011 22:26:16 +0200 | wenzelm | railsetup required for IsarRef/style; | file | diff | annotate |
| Sun, 01 May 2011 16:36:34 +0200 | wenzelm | eliminated copies of isabelle style files; | file | diff | annotate |