IsaMakefile
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