isabelle: Changelog

wenzelm [Tue, 21 Feb 2012 17:09:17 +0100] rev 46577

tuned proofs;

wenzelm [Tue, 21 Feb 2012 17:08:32 +0100] rev 46576

approximate Perspective.full within the bounds of the JVM;

wenzelm [Tue, 21 Feb 2012 16:48:10 +0100] rev 46575

misc tuning; more indentation;

wenzelm [Tue, 21 Feb 2012 16:42:57 +0100] rev 46574

invoke later to reduce chance of causing deadlock;

wenzelm [Tue, 21 Feb 2012 16:28:18 +0100] rev 46573

misc tuning; more indentation;

wenzelm [Tue, 21 Feb 2012 16:04:58 +0100] rev 46572

separate module for text status overview;

wenzelm [Tue, 21 Feb 2012 15:36:23 +0100] rev 46571

overview.delay_repaint: avoid wasting GUI cycles via update_delay; prefer delay_first for prover initiated events -- avoid indefinite delay;

wenzelm [Tue, 21 Feb 2012 13:37:03 +0100] rev 46570

tuned;

isabelle