| 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) | file | diff | annotate |
| Sat, 03 Jan 2009 20:44:54 +0000 | 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) | file | diff | annotate |
| Wed, 29 Oct 2008 21:46:33 +0100 | Christian Urban | added a readme chapter for prospective authors; added commands for referring to the Isar Reference Manual | file | diff | annotate |
| Fri, 10 Oct 2008 17:08:40 +0200 | berghofe | Added chapter about writing packages. | file | diff | annotate |
| Thu, 02 Oct 2008 05:30:46 -0400 | Christian Urban | tuned IsaMakefile | file | diff | annotate |
| Thu, 02 Oct 2008 05:28:39 -0400 | Christian Urban | fixed creation of bibliography | file | diff | annotate |