| Wed, 27 Apr 2011 13:21:12 +0200 | wenzelm | predefined LaTeX macros for \<bind> and \<then>; | file | diff | annotate |
| Thu, 02 Dec 2010 23:09:54 +0100 | wenzelm | isabellesym.sty: eliminated dependency on latin1, to allow documents using utf8 instead; | file | diff | annotate |
| Sun, 07 Nov 2010 22:42:49 +0100 | wenzelm | updated generated file; | file | diff | annotate |
| Thu, 15 May 2008 20:14:10 +0200 | wenzelm | use Isabelle sty files from Doc/; | file | diff | annotate |