| Sun, 01 May 2011 16:36:34 +0200 | wenzelm | eliminated copies of isabelle style files; | 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 |
| Wed, 18 Mar 2009 11:57:28 +0100 | haftmann | tuned interpunctation | file | diff | annotate |