Fri, 03 Dec 2010 16:39:07 +0100 | wenzelm | updated latex dependencies (cf. 7d88ebdce380); | file | diff | annotate |
Fri, 31 Jul 2009 11:34:14 +0200 | wenzelm | modernized generated example session; | file | diff | annotate |
Sat, 20 Dec 2008 11:39:27 +0100 | wenzelm | removed Ids; | file | diff | annotate |
Tue, 21 Oct 2008 20:18:07 +0200 | wenzelm | tuned usage line; | file | diff | annotate |
Sat, 04 Oct 2008 17:40:56 +0200 | wenzelm | simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle; | file | diff | annotate |
Sat, 04 Oct 2008 16:05:09 +0200 | wenzelm | replaced ISATOOL by ISABELLE_TOOL; | file | diff | annotate |
Tue, 09 Sep 2008 19:33:22 +0200 | nipkow | added comment | file | diff | annotate |