IsaMakefile
2009-07-30 Christian Urban polished the package chapter used FOCUS to explain the subproofs
2009-06-04 Christian Urban minor tuning
2009-05-30 Christian Urban added some first index-information
2009-05-08 Christian Urban a saner method for calling PolyML
2009-04-03 Christian Urban various additions
2009-03-19 Christian Urban made more of the transition from "CookBook" to "ProgTutorial"
2009-02-28 Christian Urban general polishing; added versioning to the document
less more (0) -10 -7 tip