2005-09-26 | berghofe | Updated description of code generator. | file | diff | annotate |
2002-03-06 | wenzelm | tuned; | file | diff | annotate |
2000-08-28 | wenzelm | proper setup of iman.sty/extra.sty/ttbox.sty; | file | diff | annotate |
2000-06-30 | paulson | overloading, axclasses, numerals and general tidying | file | diff | annotate |
2000-05-26 | paulson | updated acknowledgements | file | diff | annotate |
2000-05-08 | wenzelm | improved indexing; | file | diff | annotate |
1999-10-12 | wenzelm | a4paper; | file | diff | annotate |
1999-09-03 | wenzelm | fixed usepackage; | file | diff | annotate |
1999-05-10 | wenzelm | tuned; | file | diff | annotate |
1999-05-10 | wenzelm | pdf setup; | file | diff | annotate |
1999-05-06 | nipkow | New title page. | file | diff | annotate |
1999-05-05 | paulson | Now uses manual.bib; some references updated | file | diff | annotate |
1999-05-05 | nipkow | Bibtex stuff. | file | diff | annotate |
1999-05-04 | wenzelm | used to be part of 'logics' manual; | file | diff | annotate |