src/Tools/jEdit/src/state_dockable.scala
Sat, 21 Nov 2015 16:07:29 +0100 wenzelm clarified default;
Sat, 21 Nov 2015 16:06:36 +0100 wenzelm recovered auto update from f9aaca00be49;
Mon, 21 Sep 2015 20:45:57 +0200 wenzelm tuned GUI;
Mon, 21 Sep 2015 20:31:43 +0200 wenzelm removed auto update -- bad reactivity;
Mon, 21 Sep 2015 17:59:21 +0200 wenzelm more reactive update, like Output panel;
Mon, 21 Sep 2015 16:15:50 +0200 wenzelm added action "isabelle-update-state";
Mon, 21 Sep 2015 15:55:29 +0200 wenzelm support for auto update via caret focus;
Mon, 21 Sep 2015 14:56:55 +0200 wenzelm separate panel for proof state output;
less more (0) tip