isabelle: Changelog

wenzelm [Mon, 29 Jul 2013 14:49:32 +0200] rev 52768

tuned;

wenzelm [Mon, 29 Jul 2013 14:43:21 +0200] rev 52767

back to model.update_perspective with delay (cf. a20631db9c8a);

wenzelm [Mon, 29 Jul 2013 14:37:59 +0200] rev 52766

show displaced messages (e.g. from protocol thread) as raw output;

wenzelm [Mon, 29 Jul 2013 14:18:57 +0200] rev 52765

actually purge removed goal futures -- avoid memory leak;

wenzelm [Mon, 29 Jul 2013 13:43:43 +0200] rev 52764

tuned -- less redundant data structure;

wenzelm [Mon, 29 Jul 2013 13:43:12 +0200] rev 52763

always init GUI state;

wenzelm [Mon, 29 Jul 2013 13:28:27 +0200] rev 52762

tuned signature;

wenzelm [Mon, 29 Jul 2013 13:24:15 +0200] rev 52761

discontinued notion of "stable" result -- running execution is never canceled;

wenzelm [Mon, 29 Jul 2013 13:00:36 +0200] rev 52760

obsolete;

wenzelm [Mon, 29 Jul 2013 12:50:16 +0200] rev 52759

support declarative editor_execution_range, instead of old-style check/cancel buttons;

isabelle