| Fri, 07 Sep 2012 08:35:35 +0200 | nipkow | tuned latex | file | diff | annotate |
| Wed, 29 Aug 2012 21:01:05 +0200 | wenzelm | removed remains of generated material, which tends to rot; | file | diff | annotate |
| Fri, 29 Jun 2012 15:40:17 +0200 | wenzelm | removed generated stuff to avoid bit rot; | file | diff | annotate |
| Thu, 19 Apr 2012 20:19:13 +0200 | nipkow | added revised version of Abs_Int | file | diff | annotate |
| Thu, 19 Apr 2012 17:32:30 +0200 | nipkow | reorganised IMP | file | diff | annotate |
| 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 |