| Thu, 17 Jul 2008 20:05:19 +0200 | wenzelm | use ../isabelle.sty and ../isabellesym.sty; | file | diff | annotate |
| Sat, 03 May 2003 13:31:07 +0200 | kleing | fix for new \isasymeuro | file | diff | annotate |
| Tue, 11 Dec 2001 15:58:32 +0100 | wenzelm | tuned; | file | diff | annotate |
| Tue, 11 Dec 2001 15:36:28 +0100 | wenzelm | updated; | file | diff | annotate |
| Tue, 04 Dec 2001 01:59:49 +0100 | wenzelm | \usepackage{textcomp}, \usepackage{marvosym}; | file | diff | annotate |
| Wed, 24 Jan 2001 20:56:12 +0100 | wenzelm | more symbols; | file | diff | annotate |
| Fri, 15 Dec 2000 17:59:05 +0100 | wenzelm | restore \int (integral); | file | diff | annotate |
| Mon, 04 Dec 2000 23:16:25 +0100 | wenzelm | include table of Isabelle standard symbols; | file | diff | annotate |
| Mon, 28 Aug 2000 13:52:38 +0200 | wenzelm | proper setup of iman.sty/extra.sty/ttbox.sty; | file | diff | annotate |
| Mon, 08 May 2000 11:13:28 +0200 | wenzelm | improved indexing; | file | diff | annotate |
| Mon, 18 Oct 1999 19:43:18 +0200 | wenzelm | tuned; | file | diff | annotate |
| Wed, 13 Oct 1999 19:39:19 +0200 | wenzelm | updated; | file | diff | annotate |
| Tue, 12 Oct 1999 19:14:06 +0200 | wenzelm | a4paper; | file | diff | annotate |
| Wed, 18 Aug 1999 17:15:51 +0200 | wenzelm | tuned; | file | diff | annotate |
| Mon, 16 Aug 1999 14:22:20 +0200 | wenzelm | bib; | file | diff | annotate |