| Sun, 01 May 2011 16:52:29 +0200 | wenzelm | misc cleanup -- no need to copy style files; | file | diff | annotate |
| Sat, 04 Oct 2008 16:05:09 +0200 | wenzelm | replaced ISATOOL by ISABELLE_TOOL; | file | diff | annotate |
| Tue, 19 Aug 2003 13:53:58 +0200 | paulson | For the Isar version of the ZF logics manual | file | diff | annotate |