IsaMakefile
2009-11-03 Christian Urban added structure index
2009-10-30 haftmann modernized
2009-08-05 Christian Urban tuned the section about printing several bits of inormation
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
2009-02-09 Christian Urban renamed in the pdf all instances of cookbook to tutorial (in order to sound more serious)
2009-01-03 Christian Urban doem tuning and made the cookbook work again with recent changes (CookBook/Package/Ind_Interface.thy needs to be looked at to see what the problem with the new parser type is)
2008-10-29 Christian Urban added a readme chapter for prospective authors; added commands for referring to the Isar Reference Manual
2008-10-10 berghofe Added chapter about writing packages.
2008-10-02 Christian Urban tuned IsaMakefile
2008-10-02 Christian Urban fixed creation of bibliography
2008-09-05 Christian Urban split the document into smaller pieces;
2008-09-03 Christian Urban initial commit of Alexander's files
less more (0) tip