| Wed, 10 Oct 2012 10:41:16 +0200 | bulwahn | set_comprehension_pointfree also handles terms where the equation is not at the first position, which is a necessary generalisation to eventually handle bounded existentials; tuned | changeset | files |
| Wed, 10 Oct 2012 08:45:27 +0200 | haftmann | more consistent error messages on malformed code equations | changeset | files |
| Tue, 09 Oct 2012 17:33:46 +0200 | huffman | removed support for set constant definitions in HOLCF {cpo,pcpo,domain}def commands; | changeset | files |