isabelle: Changelog

wenzelm [Tue, 11 Aug 2015 17:06:23 +0200] rev 60894

clarified break *point* position;

wenzelm [Tue, 11 Aug 2015 17:00:16 +0200] rev 60893

support hyperlinks with optional focus change; no change of focus for debuffer position, to avoid visual glitches and keep panel active;

wenzelm [Tue, 11 Aug 2015 15:24:49 +0200] rev 60892

tuned;

wenzelm [Tue, 11 Aug 2015 14:35:08 +0200] rev 60891

vacuous input means continue, e.g. after exit;

wenzelm [Tue, 11 Aug 2015 14:21:00 +0200] rev 60890

GUI actions depend on active debugger;

wenzelm [Tue, 11 Aug 2015 14:13:36 +0200] rev 60889

init/exit depending on active debugger panels;

wenzelm [Tue, 11 Aug 2015 13:50:59 +0200] rev 60888

eliminated cancel operation: disrupts normal evaluation of thread;

isabelle