| Mon, 21 Mar 2011 14:25:59 +0100 | krauss | more precise dependencies | changeset | files |
| Mon, 21 Mar 2011 12:43:26 +0100 | krauss | small test case for main mirabelle functionality, which easily breaks without noticing | changeset | files |
| Mon, 21 Mar 2011 12:43:25 +0100 | krauss | propagate mirabelle failures properly; | changeset | files |
| Mon, 21 Mar 2011 12:43:23 +0100 | krauss | mirabelle: create modified theory file in original location, to ensure that its dependencies can be found (cf. aa8dce9ab8a9) | changeset | files |
| Mon, 21 Mar 2011 08:29:16 +0100 | bulwahn | merged | changeset | files |
| Fri, 18 Mar 2011 18:19:42 +0100 | bulwahn | adapting predicate_compile_quickcheck; tuned | changeset | files |
| Fri, 18 Mar 2011 18:19:42 +0100 | bulwahn | adapting mutabelle | changeset | files |