isabelle: Changelog

wenzelm [Mon, 27 Feb 2012 23:30:38 +0100] rev 46722

removed dead code (cf. a34d89ce6097);

wenzelm [Mon, 27 Feb 2012 21:07:00 +0100] rev 46721

tuned proofs;

wenzelm [Mon, 27 Feb 2012 20:55:30 +0100] rev 46720

tuned proofs;

wenzelm [Mon, 27 Feb 2012 20:42:09 +0100] rev 46719

removed introiff (cf. b09afce1e54f);

wenzelm [Mon, 27 Feb 2012 20:33:18 +0100] rev 46718

tuned;

wenzelm [Mon, 27 Feb 2012 20:23:57 +0100] rev 46717

removed broken/unused introiff (cf. d452117ba564);

wenzelm [Mon, 27 Feb 2012 19:54:50 +0100] rev 46716

discontinued slightly odd built-in timing (cf. 53fd5cc685b4) -- the Isar toplevel does that already (e.g. via Toplevel.timing or Toplevel.profiling);

wenzelm [Mon, 27 Feb 2012 19:53:34 +0100] rev 46715

tuned;

wenzelm [Mon, 27 Feb 2012 17:40:59 +0100] rev 46714

tuned proofs;

wenzelm [Mon, 27 Feb 2012 17:39:34 +0100] rev 46713

prefer uniform Timing.message -- avoid assumption about sequential execution;

isabelle