2008-10-29 | Christian Urban | added a readme chapter for prospective authors; added commands for referring to the Isar Reference Manual | file | diff | annotate |
2008-10-10 | berghofe | Added chapter about writing packages. | file | diff | annotate |
2008-10-02 | Christian Urban | tuned IsaMakefile | file | diff | annotate |
2008-10-02 | Christian Urban | fixed creation of bibliography | file | diff | annotate |
2008-09-05 | Christian Urban | split the document into smaller pieces; | file | diff | annotate |
2008-09-03 | Christian Urban | initial commit of Alexander's files | file | diff | annotate |