2009-12-19 | Christian Urban | avoided global "open"s - replaced by local "open"s | file | diff | annotate |
2009-12-19 | Christian Urban | small tuning | file | diff | annotate |
2009-12-19 | Christian Urban | various tunings; map_lookup now raises an exception; addition to FIXME-TODO | file | diff | annotate |
2009-12-17 | Christian Urban | moved the QuotMain code into two ML-files | file | diff | annotate |