wenzelm [Sun, 05 Mar 2017 13:54:11 +0100] rev 65112
tuned;
wenzelm [Sun, 05 Mar 2017 13:34:35 +0100] rev 65111
more robust treatment of pending input/output: these are often correlated;
no decorations for invisible node;
nipkow [Sun, 05 Mar 2017 12:07:36 +0100] rev 65110
merged
nipkow [Sun, 05 Mar 2017 10:57:51 +0100] rev 65109
added numeral_powr_numeral
wenzelm [Sat, 04 Mar 2017 22:07:31 +0100] rev 65108
merged
wenzelm [Sat, 04 Mar 2017 21:47:26 +0100] rev 65107
clarified pretty margin;
wenzelm [Sat, 04 Mar 2017 21:04:44 +0100] rev 65106
more general hover_message (see also JEdit_Rendering.tooltip_message);
wenzelm [Sat, 04 Mar 2017 20:26:32 +0100] rev 65105
clarified signature;
wenzelm [Sat, 04 Mar 2017 13:36:06 +0100] rev 65104
decorations for background and foreground colors;
wenzelm [Sat, 04 Mar 2017 13:33:47 +0100] rev 65103
tight protocol messages;
wenzelm [Sat, 04 Mar 2017 09:29:24 +0100] rev 65102
tuned signature;
wenzelm [Sat, 04 Mar 2017 09:27:51 +0100] rev 65101
symbolic Rendering.Color;
clarified modules;
wenzelm [Sat, 04 Mar 2017 08:41:32 +0100] rev 65100
tuned;
ballarin [Thu, 02 Mar 2017 21:16:02 +0100] rev 65099
Knaster-Tarski fixed point theorem and Galois Connections.
wenzelm [Fri, 03 Mar 2017 23:21:24 +0100] rev 65098
evade odd version conflicts for batch build (e.g. "vsce package");
wenzelm [Fri, 03 Mar 2017 23:04:12 +0100] rev 65097
more robust Uri comparison, notably on Windows;
wenzelm [Fri, 03 Mar 2017 21:56:52 +0100] rev 65096
tuned;
wenzelm [Fri, 03 Mar 2017 21:51:04 +0100] rev 65095
publish decorations like diagnostics;
Markup.BAD is decoration, not error message;
wenzelm [Fri, 03 Mar 2017 19:33:52 +0100] rev 65094
support for decorations;
wenzelm [Fri, 03 Mar 2017 17:53:24 +0100] rev 65093
clarified signature;
wenzelm [Fri, 03 Mar 2017 11:07:27 +0100] rev 65092
clarified versions;
wenzelm [Fri, 03 Mar 2017 10:51:24 +0100] rev 65091
clarified LICENSE;
wenzelm [Thu, 02 Mar 2017 17:08:18 +0100] rev 65090
more robust: tmp files might get deleted concurrently in ML vs. Scala process;
wenzelm [Thu, 02 Mar 2017 16:46:22 +0100] rev 65089
clarified fonts;
wenzelm [Thu, 02 Mar 2017 16:25:17 +0100] rev 65088
tuned;
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;
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;