| Sat, 22 Oct 2011 20:17:50 +0200 | nipkow | added isaverbatimwrite that allows to cut out snippets of thy files in their latex form and dump them in a file | file | diff | annotate |
| Wed, 01 Jun 2011 21:35:34 +0200 | nipkow | Replacing old IMP with new Semantics material | file | diff | annotate |
| Wed, 19 Dec 2001 00:26:04 +0100 | wenzelm | tuned; | file | diff | annotate |
| Sun, 09 Dec 2001 14:35:11 +0100 | kleing | latex output setup | file | diff | annotate |