| 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 |