| Mon, 26 Sep 2005 20:12:51 +0200 | berghofe | Updated description of code generator. | file | diff | annotate |
| Wed, 06 Mar 2002 16:18:45 +0100 | wenzelm | tuned; | file | diff | annotate |
| Mon, 28 Aug 2000 13:52:38 +0200 | wenzelm | proper setup of iman.sty/extra.sty/ttbox.sty; | file | diff | annotate |
| Fri, 30 Jun 2000 17:51:56 +0200 | paulson | overloading, axclasses, numerals and general tidying | file | diff | annotate |
| Fri, 26 May 2000 11:18:06 +0200 | paulson | updated acknowledgements | file | diff | annotate |
| Mon, 08 May 2000 11:13:28 +0200 | wenzelm | improved indexing; | file | diff | annotate |
| Tue, 12 Oct 1999 18:59:45 +0200 | wenzelm | a4paper; | file | diff | annotate |
| Fri, 03 Sep 1999 16:11:03 +0200 | wenzelm | fixed usepackage; | file | diff | annotate |
| Mon, 10 May 1999 17:02:05 +0200 | wenzelm | tuned; | file | diff | annotate |
| Mon, 10 May 1999 15:26:30 +0200 | wenzelm | pdf setup; | file | diff | annotate |
| Thu, 06 May 1999 11:13:01 +0200 | nipkow | New title page. | file | diff | annotate |
| Wed, 05 May 1999 16:44:42 +0200 | paulson | Now uses manual.bib; some references updated | file | diff | annotate |
| Wed, 05 May 1999 09:43:53 +0200 | nipkow | Bibtex stuff. | file | diff | annotate |
| Tue, 04 May 1999 18:03:56 +0200 | wenzelm | used to be part of 'logics' manual; | file | diff | annotate |