2009-01-29 | Christian Urban | adaptation of the package chapter to fit the rest | file | diff | annotate |
2009-01-24 | Christian Urban | adapted to changes in binding.ML | file | diff | annotate |
2009-01-14 | Christian Urban | removed mytable from root-file | 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-15 | berghofe | Adapted to changes in binding module. | file | diff | annotate |
2008-11-29 | Christian Urban | removed the @{ML ...} antiquotation in favour of @{ML_open ...x} | file | diff | annotate |
2008-10-27 | Christian Urban | tuned mostly antiquotation and text | file | diff | annotate |
2008-10-13 | berghofe | Tuned. | file | diff | annotate |
2008-10-10 | berghofe | Added new chapter about writing packages. | file | diff | annotate |