progtutorial.pdf
2009-08-21 Christian Urban added file for producing a keyword file
2009-08-21 Christian Urban split up the first-steps section into two chapters
2009-08-20 Christian Urban added an experimental antiquotation to replace eventually ML_response_fake
2009-08-20 Christian Urban further polishing of index generation
2009-08-20 Christian Urban simplified a bit the index generation
2009-08-20 Christian Urban polished
2009-08-19 Christian Urban polished the exercises about constructing terms
2009-08-18 Christian Urban added exercise
2009-08-17 Christian Urban polished
2009-08-16 Christian Urban tuned
2009-08-16 Christian Urban improvements from the workshop
2009-08-13 Christian Urban suggestions by Peter Homeier
2009-08-05 Christian Urban tuned the section about printing several bits of inormation
2009-08-05 Christian Urban added a comment for printing out information and tuned some examples accordingly
less more (0) -100 -14 tip