isabelle: Changelog

wenzelm [Sat, 15 Aug 2015 20:27:23 +0200] rev 60939

obsolete;

wenzelm [Sat, 15 Aug 2015 20:07:05 +0200] rev 60938

clarified context;

wenzelm [Sat, 15 Aug 2015 19:42:35 +0200] rev 60937

clarified context;

wenzelm [Sat, 15 Aug 2015 19:11:11 +0200] rev 60936

tuned GUI;

wenzelm [Sat, 15 Aug 2015 19:07:11 +0200] rev 60935

proper setup of evaluation context;

wenzelm [Sat, 15 Aug 2015 19:00:04 +0200] rev 60934

tuned;

wenzelm [Sat, 15 Aug 2015 18:59:31 +0200] rev 60933

more robust access to stable tip version: take all pending edits into account, don't assume model for current buffer;

wenzelm [Sat, 15 Aug 2015 17:38:20 +0200] rev 60932

allow to break running threads at next possible breakpoint (simplified version of former option, see f3039309702e);

wenzelm [Sat, 15 Aug 2015 16:47:52 +0200] rev 60931

tuned signature;

haftmann [Thu, 13 Aug 2015 15:22:11 +0200] rev 60930

qualified adjust_*

isabelle