isabelle: Changelog

blanchet [Mon, 25 Jul 2011 14:10:12 +0200] rev 43961

avoid needless type args for lifted-lambdas

bulwahn [Mon, 25 Jul 2011 11:21:45 +0200] rev 43960

replacing conversion function of old code generator by the current code generator in the reflection tactic

bulwahn [Mon, 25 Jul 2011 11:21:44 +0200] rev 43959

fixed typo

bulwahn [Mon, 25 Jul 2011 10:43:14 +0200] rev 43958

removing SML_Quickcheck

bulwahn [Mon, 25 Jul 2011 10:42:32 +0200] rev 43957

NEWS

bulwahn [Mon, 25 Jul 2011 10:40:52 +0200] rev 43956

added legacy warning to old code generation evaluation

bulwahn [Mon, 25 Jul 2011 10:40:51 +0200] rev 43955

added legacy warning to old code generation commands

wenzelm [Sat, 23 Jul 2011 23:33:59 +0200] rev 43954

merged

bulwahn [Sat, 23 Jul 2011 20:05:28 +0200] rev 43953

correcting last example in Predicate_Compile_Examples

wenzelm [Sat, 23 Jul 2011 22:22:21 +0200] rev 43952

make double-sure that interrupts are flushed before executing new work (cf. 22f8c2483bd2);

isabelle