Mon, 22 Sep 2008 08:00:24 +0200 | haftmann | fixed headers | file | diff | annotate |
Sun, 18 May 2008 15:28:21 +0200 | wenzelm | oops -- pr_graph = Syntax.string_of_term; | file | diff | annotate |
Sun, 18 May 2008 15:04:20 +0200 | wenzelm | pr_matrix: proper context; | file | diff | annotate |
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 |