| Tue, 22 Sep 2015 14:31:22 +0200 |
nipkow |
tuned references
|
file |
diff |
annotate
|
| Sun, 05 Jan 2014 18:59:29 +0100 |
nipkow |
minimized class dependency, updated references
|
file |
diff |
annotate
|
| Fri, 09 Nov 2012 19:16:31 +0100 |
nipkow |
fixed underscores
|
file |
diff |
annotate
|
| 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
|