| Sun, 20 Dec 2009 00:53:35 +0100 | Christian Urban | on suggestion of Tobias renamed "quotient_def" to "quotient_definition"; needs new keyword file | file | diff | annotate |
| 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:04:34 +0100 | Christian Urban | various tunings; map_lookup now raises an exception; addition to FIXME-TODO | file | diff | annotate |
| Fri, 11 Dec 2009 17:19:38 +0100 | Cezary Kaliszyk | Renaming | file | diff | annotate |
| Fri, 11 Dec 2009 11:19:41 +0100 | Cezary Kaliszyk | Updated comments. | file | diff | annotate |
| Fri, 11 Dec 2009 11:08:58 +0100 | Cezary Kaliszyk | New syntax for definitions. | file | diff | annotate |
| Wed, 09 Dec 2009 17:31:01 +0100 | Christian Urban | fixed minor stupidity | file | diff | annotate |