Mon, 21 Sep 2015 20:45:57 +0200 | wenzelm | tuned GUI; | file | diff | annotate |
Mon, 21 Sep 2015 20:31:43 +0200 | wenzelm | removed auto update -- bad reactivity; | file | diff | annotate |
Mon, 21 Sep 2015 17:59:21 +0200 | wenzelm | more reactive update, like Output panel; | file | diff | annotate |
Mon, 21 Sep 2015 16:15:50 +0200 | wenzelm | added action "isabelle-update-state"; | file | diff | annotate |
Mon, 21 Sep 2015 15:55:29 +0200 | wenzelm | support for auto update via caret focus; | file | diff | annotate |
Mon, 21 Sep 2015 14:56:55 +0200 | wenzelm | separate panel for proof state output; | file | diff | annotate |