isabelle: Changelog

wenzelm [Fri, 09 Aug 2013 20:26:54 +0200] rev 52947

sorted lines;

wenzelm [Fri, 09 Aug 2013 20:23:53 +0200] rev 52946

tuned GUI;

wenzelm [Fri, 09 Aug 2013 20:16:33 +0200] rev 52945

retain current task priority, to avoid distortion due to local forks (e.g. sledgehammer query operation);

wenzelm [Fri, 09 Aug 2013 20:01:50 +0200] rev 52944

removed "Locate" button, to avoid confusion about the slightly odd meaning of current_command with explicit theory context;

wenzelm [Fri, 09 Aug 2013 17:25:47 +0200] rev 52943

enable search in pre-loaded theory;

wenzelm [Fri, 09 Aug 2013 16:17:48 +0200] rev 52942

more GUI options;

wenzelm [Fri, 09 Aug 2013 15:49:50 +0200] rev 52941

tuned signature;

wenzelm [Fri, 09 Aug 2013 15:14:59 +0200] rev 52940

tuned;

wenzelm [Fri, 09 Aug 2013 15:00:29 +0200] rev 52939

tuned GUI;

blanchet [Fri, 09 Aug 2013 15:40:38 +0200] rev 52938

tuned name generation code (to make it easier to adapt later)

isabelle