isabelle: Changelog

haftmann [Mon, 22 Oct 2012 19:02:36 +0200] rev 49971

close code theorems explicitly after preprocessing

wenzelm [Mon, 22 Oct 2012 17:09:49 +0200] rev 49970

tuned proofs;

wenzelm [Mon, 22 Oct 2012 16:27:55 +0200] rev 49969

further attempts to cope with large files via option jedit_text_overview_limit;

wenzelm [Mon, 22 Oct 2012 14:52:38 +0200] rev 49968

more detailed Prover IDE NEWS;

wenzelm [Sun, 21 Oct 2012 22:32:22 +0200] rev 49967

recovered explicit error message, which was lost in b8570ea1ce25;

wenzelm [Sun, 21 Oct 2012 22:31:39 +0200] rev 49966

removed dead code;

wenzelm [Sun, 21 Oct 2012 22:12:22 +0200] rev 49965

proper signatures;

wenzelm [Sun, 21 Oct 2012 22:11:38 +0200] rev 49964

tuned;

webertj [Sun, 21 Oct 2012 17:04:13 +0200] rev 49963

merged

webertj [Fri, 19 Oct 2012 15:12:52 +0200] rev 49962

Renamed {left,right}_distrib to distrib_{right,left}.

isabelle