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 |
berghofe |
Added \<module> symbol.
|
file |
diff |
annotate
|
Mon, 30 May 2005 08:21:58 +0200 |
nipkow |
added \nexists
|
file |
diff |
annotate
|
Tue, 24 May 2005 14:28:59 +0200 |
haftmann |
ML_idf antiquotation
|
file |
diff |
annotate
|
Mon, 11 Apr 2005 12:14:48 +0200 |
nipkow |
added \restriction
|
file |
diff |
annotate
|
Sun, 10 Apr 2005 17:20:03 +0200 |
nipkow |
Added lots of AMS harpoons
|
file |
diff |
annotate
|
Mon, 21 Jun 2004 10:25:57 +0200 |
kleing |
Merged in license change from Isabelle2004
|
file |
diff |
annotate
|
Fri, 18 Jun 2004 20:10:52 +0200 |
wenzelm |
improved comments -- required by 'isatool latex -o syms';
|
file |
diff |
annotate
|
Thu, 17 Jun 2004 14:27:01 +0200 |
wenzelm |
fixed 'requires' comments, which are needed for printing of drafts;
|
file |
diff |
annotate
|
Fri, 14 May 2004 19:29:22 +0200 |
ballarin |
Change of theory hierarchy: Group is now based in Lattice.
|
file |
diff |
annotate
|
Mon, 26 Apr 2004 14:46:47 +0200 |
wenzelm |
added isasymsome;
|
file |
diff |
annotate
|
Fri, 02 May 2003 16:39:38 +0200 |
kleing |
removed package marvosym (breaks \Rightarrow)
|
file |
diff |
annotate
|
Fri, 13 Dec 2002 18:14:25 +0100 |
oheimb |
cent/currency: changed from wasysym to textcomp because of PDF problems
|
file |
diff |
annotate
|
Tue, 11 Dec 2001 16:22:44 +0100 |
wenzelm |
\isasymindex made text mode;
|
file |
diff |
annotate
|
Sat, 01 Dec 2001 18:51:46 +0100 |
wenzelm |
added zero--nine, euro;
|
file |
diff |
annotate
|
Thu, 08 Nov 2001 23:55:04 +0100 |
wenzelm |
\newcommand{\isasymindex}{\isamath{\i}};
|
file |
diff |
annotate
|
Thu, 08 Nov 2001 00:25:09 +0100 |
wenzelm |
\newcommand{\isasymstruct}{\isamath{\diamond}};
|
file |
diff |
annotate
|
Wed, 07 Nov 2001 18:16:54 +0100 |
wenzelm |
\isasymstruct;
|
file |
diff |
annotate
|
Mon, 08 Oct 2001 14:19:42 +0200 |
wenzelm |
added tturnstile, TTurnstile;
|
file |
diff |
annotate
|
Wed, 26 Sep 2001 22:26:11 +0200 |
wenzelm |
tuned order;
|
file |
diff |
annotate
|
Wed, 26 Sep 2001 20:35:22 +0200 |
wenzelm |
turn bullet into bold cdot (looks much better in printed output);
|
file |
diff |
annotate
|
Wed, 24 Jan 2001 20:57:19 +0100 |
wenzelm |
added eufrak symbols;
|
file |
diff |
annotate
|
Thu, 18 Jan 2001 20:36:08 +0100 |
wenzelm |
tuned \<And> and \<Or>;
|
file |
diff |
annotate
|