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 |
Sat, 14 Jan 2012 16:25:54 +0100 | wenzelm | discontinued default rendering for Oheimb's double-space; | file | diff | annotate |
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 |
Tue, 31 Mar 2009 14:10:14 +0200 | wenzelm | updated latex requirement; | file | diff | annotate |
Sat, 20 Dec 2008 11:55:34 +0100 | wenzelm | removed Ids; | file | diff | annotate |
Thu, 05 Jan 2006 22:29:53 +0100 | wenzelm | added setminus; | file | diff | annotate |
Tue, 20 Sep 2005 21:39:00 +0200 | wenzelm | tuned headers; | file | diff | annotate |
Tue, 12 Jul 2005 11:55:33 +0200 |