| Sat, 09 May 2009 13:55:25 +0200 | Christian Urban | added more to the pretty section and updated the acknowledgements | changeset | files |
| Sat, 09 May 2009 03:11:36 +0200 | Christian Urban | added some text to the pretty-printing section | changeset | files |
| Fri, 08 May 2009 17:21:20 +0200 | Christian Urban | a saner method for calling PolyML | changeset | files |
| Fri, 08 May 2009 17:11:57 +0200 | Christian Urban | Jasmin and Christian added examples for the pretty-printing section | changeset | files |
| Tue, 05 May 2009 03:21:49 +0200 | Christian Urban | fixed the problem with double definition of even and odd | changeset | files |
| Wed, 29 Apr 2009 00:36:14 +0200 | Christian Urban | slight polishing | changeset | files |
| Sun, 26 Apr 2009 23:45:22 +0200 | Christian Urban | added note about @{type_names ...} | changeset | files |