| Sun, 06 Dec 2009 06:39:32 +0100 | Cezary Kaliszyk | Simpler definition code that works with any type maps. | file | diff | annotate |
| Fri, 04 Dec 2009 21:42:55 +0100 | Christian Urban | not yet quite functional treatment of constants | file | diff | annotate |
| Fri, 04 Dec 2009 15:19:39 +0100 | Christian Urban | merge | file | diff | annotate |
| Thu, 03 Dec 2009 12:17:23 +0100 | Cezary Kaliszyk | Added the definition to quotient constant data. | file | diff | annotate |
| Wed, 25 Nov 2009 21:48:32 +0100 | Cezary Kaliszyk | applic_prs | file | diff | annotate |
| Wed, 25 Nov 2009 03:45:44 +0100 | Christian Urban | fixed the problem with generalising variables; at the moment it is quite a hack | file | diff | annotate |
| Tue, 24 Nov 2009 15:31:29 +0100 | Christian Urban | use error instead of raising our own exception | file | diff | annotate |