IsaMakefile
Thu, 04 Jun 2009 09:28:29 +0200 Christian Urban minor tuning
Sat, 30 May 2009 17:40:20 +0200 Christian Urban added some first index-information
Fri, 08 May 2009 17:21:20 +0200 Christian Urban a saner method for calling PolyML
Fri, 03 Apr 2009 07:55:07 +0100 Christian Urban various additions
Thu, 19 Mar 2009 13:28:16 +0100 Christian Urban made more of the transition from "CookBook" to "ProgTutorial"
Sat, 28 Feb 2009 14:18:02 +0000 Christian Urban general polishing; added versioning to the document
Mon, 09 Feb 2009 01:23:35 +0000 Christian Urban renamed in the pdf all instances of cookbook to tutorial (in order to sound more serious)
less more (0) -10 -7 tip