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 |
Wed, 04 Mar 2009 11:05:29 +0100 | blanchet | Merge. | file | diff | annotate |