| Wed, 04 Nov 2009 16:10:39 +0100 | Cezary Kaliszyk | Two new tests for get_fun. Second one fails. | file | diff | annotate |
| Mon, 02 Nov 2009 09:33:48 +0100 | Christian Urban | fixed the problem with types in map | file | diff | annotate |
| Wed, 28 Oct 2009 19:46:15 +0100 | Christian Urban | ported all constant definitions to new scheme | file | diff | annotate |
| Sun, 25 Oct 2009 23:44:41 +0100 | Christian Urban | added code for declaring map-functions | file | diff | annotate |
| Sat, 24 Oct 2009 18:17:38 +0200 | Christian Urban | changed the definitions of liftet constants to use fun_maps | file | diff | annotate |
| Sat, 24 Oct 2009 16:31:07 +0200 | Christian Urban | changed encoding from utf8 to ISO8 (needed to work with xemacs) | file | diff | annotate |
| Fri, 23 Oct 2009 16:34:20 +0200 | Cezary Kaliszyk | Split Finite Set example into separate file | file | diff | annotate |