2009-02-12 | Christian Urban | recovered old version of simple_induct; split the main function into small functions | file | diff | annotate |
2009-02-07 | Christian Urban | general cleaning up; deleted antiquotation ML_text; adjusted pathnames of various files in the distribution | file | diff | annotate |
2009-01-29 | Christian Urban | added a section that will eventually describe the code | file | diff | annotate |
2009-01-24 | Christian Urban | adapted to changes in binding.ML | file | diff | annotate |
2008-12-15 | berghofe | Adapted to changes in binding module. | file | diff | annotate |
2008-10-10 | berghofe | Added new chapter about writing packages. | file | diff | annotate |