Mon, 21 Mar 2011 17:14:52 +0100 | wenzelm | merged | changeset | files |
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 |