wenzelm [Wed, 01 Mar 2017 17:09:54 +0100] rev 65075
misc tuning and modernization;
wenzelm [Wed, 01 Mar 2017 15:16:06 +0100] rev 65074
improved performance of remove, e.g. relevant for Theories_Dockable.purge;
wenzelm [Wed, 01 Mar 2017 11:26:19 +0100] rev 65073
more uniform platform settings;
wenzelm [Tue, 28 Feb 2017 23:12:52 +0100] rev 65072
more detailed platform information;
wenzelm [Tue, 28 Feb 2017 19:50:08 +0100] rev 65071
proper Isabelle/Scala tool;
wenzelm [Tue, 28 Feb 2017 17:51:49 +0100] rev 65070
more operations;
wenzelm [Tue, 28 Feb 2017 17:48:28 +0100] rev 65069
tuned;
wenzelm [Tue, 28 Feb 2017 16:26:05 +0100] rev 65068
merged;
wenzelm [Tue, 28 Feb 2017 12:42:50 +0100] rev 65067
tuned message;
paulson <lp15@cam.ac.uk> [Tue, 28 Feb 2017 15:17:57 +0000] rev 65066
tidied some messy proofs
paulson <lp15@cam.ac.uk> [Tue, 28 Feb 2017 13:55:34 +0000] rev 65065
Merge
paulson <lp15@cam.ac.uk> [Tue, 28 Feb 2017 13:51:47 +0000] rev 65064
Renamed ii to imaginary_unit in order to free up ii as a variable name. Also replaced some legacy def commands
wenzelm [Tue, 28 Feb 2017 12:04:23 +0100] rev 65063
more tests;
haftmann [Tue, 28 Feb 2017 08:18:12 +0100] rev 65062
stripped unused / obsolete material
wenzelm [Mon, 27 Feb 2017 20:44:25 +0100] rev 65061
merged
wenzelm [Mon, 27 Feb 2017 17:58:00 +0100] rev 65060
more links;
wenzelm [Mon, 27 Feb 2017 17:50:29 +0100] rev 65059
clarified priority: zero can mean unknown/long or irrelevant/short time;
wenzelm [Mon, 27 Feb 2017 16:29:52 +0100] rev 65058
absent timing information means zero, according to 0070053570c4, f235646b1b73;
paulson <lp15@cam.ac.uk> [Mon, 27 Feb 2017 17:17:26 +0000] rev 65057
Some new lemmas thanks to Lukas Bulwahn. Also, NEWS.
wenzelm [Mon, 27 Feb 2017 00:00:28 +0100] rev 65056
clarified defaults;
wenzelm [Sun, 26 Feb 2017 23:50:19 +0100] rev 65055
tuned whitespace;
wenzelm [Sun, 26 Feb 2017 22:41:10 +0100] rev 65054
tuned;
wenzelm [Sun, 26 Feb 2017 22:13:07 +0100] rev 65053
clarified defaults;
wenzelm [Sun, 26 Feb 2017 22:01:54 +0100] rev 65052
more operations;