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 |