Sat, 19 Dec 2009 22:21:51 +0100 | Christian Urban | avoided global "open"s - replaced by local "open"s | file | diff | annotate |
Sat, 19 Dec 2009 22:09:57 +0100 | Christian Urban | small tuning | file | diff | annotate |
Thu, 17 Dec 2009 14:58:33 +0100 | Christian Urban | moved the QuotMain code into two ML-files | file | diff | annotate |