isabelle: Changelog

wenzelm [Thu, 07 Nov 2013 13:34:04 +0100] rev 54372

misc tuning;

wenzelm [Wed, 06 Nov 2013 21:20:20 +0100] rev 54371

updated to jedit_build-20131106 (Console.jar 5.1.3);

wenzelm [Wed, 06 Nov 2013 20:58:11 +0100] rev 54370

join all theory body forks, notably Toplevel.atom_result (diagnostic commands), before peeking at full status;

wenzelm [Wed, 06 Nov 2013 20:46:00 +0100] rev 54369

tuned signature;

wenzelm [Wed, 06 Nov 2013 18:15:25 +0100] rev 54368

less tiny font for search criteria;

wenzelm [Wed, 06 Nov 2013 18:04:36 +0100] rev 54367

tuned tooltips;

Andreas Lochbihler [Thu, 17 Oct 2013 17:14:06 +0200] rev 54366

swap equations and premises in the coinductive step for better proof automation

wenzelm [Tue, 05 Nov 2013 18:16:16 +0100] rev 54365

no default shortcut for isabelle.reset-font-size -- avoid conflict with unsplit-current;

wenzelm [Tue, 05 Nov 2013 16:41:19 +0100] rev 54364

tuned;

noschinl [Mon, 28 Oct 2013 11:27:14 +0100] rev 54363

CONTRIBUTORS

isabelle