| Fri, 29 Jun 2012 15:45:50 +0200 | wenzelm | default for \<euro> is now based on eurosym package, instead of slightly exotic babel/greek (which causes problems with the Gentoo installation on lxbroy2); | file | diff | annotate |
| 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 |