isabelle: Changelog

kleing [Sat, 10 Aug 2013 09:06:42 +0200] rev 52951

adjust tooltip for duplicates option

wenzelm [Fri, 09 Aug 2013 20:44:46 +0200] rev 52950

merged

wenzelm [Fri, 09 Aug 2013 20:31:51 +0200] rev 52949

NEWS;

wenzelm [Fri, 09 Aug 2013 20:30:11 +0200] rev 52948

Find is docked on startup;

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;

isabelle