| Sat, 27 Jul 2013 22:20:25 +0200 | wenzelm | discontinued historic document formats; | file | diff | annotate |
| Thu, 26 Jul 2012 14:24:27 +0200 | wenzelm | allow spaces in file names; | 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 |