2009-01-14 | Christian Urban | highligted the background of ML-code | file | diff | annotate |
2009-01-14 | Christian Urban | added more to the "new command section" and tuning | file | diff | annotate |
2009-01-12 | Christian Urban | tuned | file | diff | annotate |
2009-01-10 | Christian Urban | tuned and added a section about creating keyword files | file | diff | annotate |
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) | file | diff | annotate |
2008-12-16 | Christian Urban | fixed typos | file | diff | annotate |