isabelle: Changelog

wenzelm [Mon, 21 Mar 2011 21:05:08 +0100] rev 42044

tuned;

wenzelm [Mon, 21 Mar 2011 20:56:44 +0100] rev 42043

clarified Syn_Trans.parsetree_to_ast and Syn_Trans.ast_to_term;

wenzelm [Mon, 21 Mar 2011 20:15:03 +0100] rev 42042

tuned;

wenzelm [Mon, 21 Mar 2011 17:14:52 +0100] rev 42041

merged

krauss [Mon, 21 Mar 2011 16:24:52 +0100] rev 42040

added judgement day configurations

wenzelm [Mon, 21 Mar 2011 16:38:28 +0100] rev 42039

another attempt to exec ISABELLE_GHC robustly (cf. d8c3b26b3da4, 994d088fbfbc);

krauss [Mon, 21 Mar 2011 14:46:59 +0100] rev 42038

fixed perl error

krauss [Mon, 21 Mar 2011 14:37:10 +0100] rev 42037

eliminated unnecessary generated ROOT.ML

krauss [Mon, 21 Mar 2011 14:25:59 +0100] rev 42036

more precise dependencies

krauss [Mon, 21 Mar 2011 12:43:26 +0100] rev 42035

small test case for main mirabelle functionality, which easily breaks without noticing

isabelle