| Thu, 28 May 2009 12:15:50 +0200 | Christian Urban | added comments about ML_prf and ML_val | changeset | files |
| Sat, 23 May 2009 02:19:54 +0200 | Christian Urban | added an example | changeset | files |
| Mon, 18 May 2009 05:21:40 +0200 | Christian Urban | a few additions | changeset | files |
| Sun, 17 May 2009 16:22:27 +0200 | Christian Urban | some polishing; added together with Jasmin more examples to the pretty printing section | changeset | files |
| Sat, 09 May 2009 18:50:01 +0200 | Christian Urban | slight polishing | changeset | files |
| 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 |