progtutorial.pdf
2009-05-29 Christian Urban some slight polishing
2009-05-28 Christian Urban added comments about ML_prf and ML_val
2009-05-23 Christian Urban added an example
2009-05-18 Christian Urban a few additions
2009-05-17 Christian Urban some polishing; added together with Jasmin more examples to the pretty printing section
2009-05-09 Christian Urban slight polishing
2009-05-09 Christian Urban added more to the pretty section and updated the acknowledgements
2009-05-09 Christian Urban added some text to the pretty-printing section
2009-05-08 Christian Urban a saner method for calling PolyML
2009-05-08 Christian Urban Jasmin and Christian added examples for the pretty-printing section
2009-05-05 Christian Urban fixed the problem with double definition of even and odd
2009-04-28 Christian Urban slight polishing
less more (0) -12 tip