wenzelm [Thu, 02 Mar 2017 16:23:39 +0100] rev 65087
clarified errors;
wenzelm [Thu, 02 Mar 2017 16:09:46 +0100] rev 65086
tuned;
wenzelm [Thu, 02 Mar 2017 16:05:09 +0100] rev 65085
clarified;
wenzelm [Thu, 02 Mar 2017 16:01:30 +0100] rev 65084
tuned message;
wenzelm [Thu, 02 Mar 2017 15:56:43 +0100] rev 65083
tuned;
wenzelm [Thu, 02 Mar 2017 15:46:27 +0100] rev 65082
tuned;
wenzelm [Thu, 02 Mar 2017 14:37:13 +0100] rev 65081
handler for Isabelle version;
wenzelm [Thu, 02 Mar 2017 14:14:48 +0100] rev 65080
tuned;
wenzelm [Thu, 02 Mar 2017 14:10:41 +0100] rev 65079
handler for Isabelle fonts;
wenzelm [Thu, 02 Mar 2017 13:36:07 +0100] rev 65078
more operations;
wenzelm [Thu, 02 Mar 2017 12:31:07 +0100] rev 65077
clarified modules;
wenzelm [Thu, 02 Mar 2017 12:09:50 +0100] rev 65076
clarified signature;
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;