| 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 |
| Fri, 05 Sep 2008 09:47:51 +0200 | Christian Urban | split the document into smaller pieces; | file | diff | annotate |
| Wed, 03 Sep 2008 18:12:36 +0200 | Christian Urban | initial commit of Alexander's files | file | diff | annotate |