2009-02-15 | Christian Urban | some polishing; split up the file External Solver into two | file | diff | annotate |
2009-02-14 | Christian Urban | added an acknowledgement section | 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-30 | boehmes | rewrote recipes describing external solvers | file | diff | annotate |
2009-01-27 | Christian Urban | fixed typos | file | diff | annotate |
2009-01-26 | Christian Urban | polished | file | diff | annotate |
2009-01-26 | Christian Urban | some tuning | file | diff | annotate |
2009-01-07 | boehmes | Added four recipes. | file | diff | annotate |