Mon, 21 Mar 2011 16:24:52 +0100 | krauss | added judgement day configurations | changeset | files |
Mon, 21 Mar 2011 16:38:28 +0100 | wenzelm | another attempt to exec ISABELLE_GHC robustly (cf. d8c3b26b3da4, 994d088fbfbc); | changeset | files |
Mon, 21 Mar 2011 14:46:59 +0100 | krauss | fixed perl error | changeset | files |
Mon, 21 Mar 2011 14:37:10 +0100 | krauss | eliminated unnecessary generated ROOT.ML | changeset | files |
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 |