| 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 |
| Wed, 10 Jan 2001 20:19:34 +0100 | wenzelm | added \<wrong> symbol; | file | diff | annotate |
| Tue, 09 Jan 2001 23:48:30 +0100 | wenzelm | added acute, cedilla, dieresis, hungarumlaut; | file | diff | annotate |
| Sun, 07 Jan 2001 21:45:14 +0100 | wenzelm | removed ID (avoid CVS conflicts with generated versions); | file | diff | annotate |
| Fri, 15 Dec 2000 17:58:40 +0100 | wenzelm | tuned symbols; | file | diff | annotate |
| Wed, 06 Dec 2000 12:28:52 +0100 | wenzelm | added \<a> ... \<z>; | file | diff | annotate |
| Mon, 04 Dec 2000 23:22:01 +0100 | wenzelm | proper order of symbols for genarated table in system manual; | file | diff | annotate |
| Fri, 01 Dec 2000 19:40:18 +0100 | wenzelm | added \mathcal A-Z; | file | diff | annotate |
| Mon, 30 Oct 2000 18:22:49 +0100 | wenzelm | replaced \isasymmacron by \isasyminverse; | file | diff | annotate |
| Sun, 15 Oct 2000 19:50:35 +0200 | wenzelm | proper symbol markup with \isamath, \isatext; | file | diff | annotate |
| Wed, 11 Oct 2000 19:06:36 +0200 | wenzelm | \isamath and \isatext: more abstract implementation of symbols; | file | diff | annotate |
| Fri, 15 Sep 2000 16:31:00 +0200 | wenzelm | added lparr, rparr; | file | diff | annotate |
| Fri, 15 Sep 2000 00:17:11 +0200 | wenzelm | improved many symbols; | file | diff | annotate |
| Sun, 03 Sep 2000 20:01:27 +0200 | wenzelm | GPLed; | file | diff | annotate |
| Tue, 29 Aug 2000 20:11:11 +0200 | wenzelm | improved spacing of Sum, Prod, integral; | file | diff | annotate |
| Thu, 24 Aug 2000 00:55:42 +0200 | wenzelm | more symbols; | file | diff | annotate |
| Wed, 12 Apr 2000 23:49:10 +0200 | wenzelm | tuned \isasymlbrace; | file | diff | annotate |
| Thu, 06 Apr 2000 19:11:30 +0200 | wenzelm | tuned \isasymlbrace; | file | diff | annotate |
| Thu, 06 Apr 2000 17:05:38 +0200 | wenzelm | added \isasymlbrace, \isasymrbrace, \isasymtop; | file | diff | annotate |
| Fri, 04 Feb 2000 21:36:13 +0100 | wenzelm | tuned syms; | file | diff | annotate |
| Thu, 27 Jan 2000 15:30:10 +0100 | oheimb | *** empty log message *** | file | diff | annotate |
| Sat, 30 Oct 1999 20:11:35 +0200 | wenzelm | definitions of many Isabelle symbols; | file | diff | annotate |