| 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 |
| Mon, 20 Jul 2009 20:03:19 +0200 | wenzelm | removed obsolete CVS Ids; | file | diff | annotate |
| Thu, 26 Feb 2009 20:03:32 +0100 | wenzelm | \bibliographystyle{abbrv} for newer ref manuals; | file | diff | annotate |
| Sun, 30 Nov 2008 14:03:46 +0100 | wenzelm | removed obsolete isabelle-interface executable and ISABELLE_INTERFACE setting; | file | diff | annotate |
| Tue, 18 Nov 2008 18:25:10 +0100 | wenzelm | moved table of standard Isabelle symbols to isar-ref manual; | file | diff | annotate |