| Wed, 07 Mar 2012 23:21:24 +0100 | wenzelm | tuned message (cf. ML version); | changeset | files |
| Wed, 07 Mar 2012 20:49:18 +0100 | wenzelm | eliminated dead code; | changeset | files |
| Wed, 07 Mar 2012 19:38:36 +0100 | wenzelm | tuned signature; | changeset | files |
| Wed, 07 Mar 2012 19:32:52 +0100 | wenzelm | simplified signature (NB: interpretation of properties is mainly done via XML.Encode/Decode); | changeset | files |
| Wed, 07 Mar 2012 16:13:49 +0100 | berghofe | to_pred/set attributes now properly handle variables of type "... => T set" | changeset | files |
| Wed, 07 Mar 2012 14:30:35 +0100 | wenzelm | some recovery of IsaMakefile targets from f3c10e908f65; | changeset | files |
| Wed, 07 Mar 2012 13:00:30 +0000 | sultana | added max_new_mono_instances, max_mono_iters, to Mirabelle-Sledgehammer; changed sh_minimize to avoid setting Mirabelle-level defaults; | changeset | files |