Mon, 12 May 2008 22:11:06 +0200 | krauss | Measure functions can now be declared via special rules, allowing for a | file | diff | annotate |
Sat, 01 Mar 2008 14:10:13 +0100 | wenzelm | use more antiquotations; | file | diff | annotate |
Tue, 06 Nov 2007 17:44:53 +0100 | krauss | moved stuff about size change termination to its own session | file | diff | annotate |