2000-08-28 | wenzelm | proper setup of iman.sty/extra.sty/ttbox.sty; | file | diff | annotate |
2000-05-08 | wenzelm | improved indexing; | file | diff | annotate |
1999-05-18 | paulson | ../manual.bib a new dependency | file | diff | annotate |
1999-05-10 | wenzelm | tuned; | file | diff | annotate |
1999-05-10 | wenzelm | pdf setup; | file | diff | annotate |
1999-05-10 | wenzelm | pdf setup; | file | diff | annotate |
1999-05-05 | wenzelm | *** empty log message *** | file | diff | annotate |
1999-05-04 | wenzelm | fixed; | file | diff | annotate |
1999-05-04 | wenzelm | used to be part of 'logics' manual; | file | diff | annotate |