| Wed, 20 May 2009 13:01:52 -0700 | huffman | indentation; export Domain_Syntax.calc_syntax | changeset | files |
| Thu, 21 May 2009 19:15:22 +0200 | haftmann | using precompiled Predicate.map | changeset | files |
| Thu, 21 May 2009 16:51:00 +0200 | haftmann | merged | changeset | files |
| Thu, 21 May 2009 09:07:25 +0200 | haftmann | re-added corrected version of type copy quickcheck generator | changeset | files |
| Thu, 21 May 2009 09:07:13 +0200 | haftmann | added Predicate.map in SML environment | changeset | files |
| Thu, 21 May 2009 15:25:44 +0100 | webertj | merged | changeset | files |
| Thu, 21 May 2009 15:25:26 +0100 | webertj | implementation of definitional CNF improved | changeset | files |
| Thu, 21 May 2009 15:23:32 +0100 | webertj | write_dimacs_{sat,cnf}_file now write the DIMACS file on the fly, without building it in memory first | changeset | files |