Fri, 03 Mar 2017 21:56:52 +0100 wenzelm tuned;
Fri, 03 Mar 2017 21:51:04 +0100 wenzelm publish decorations like diagnostics;
Fri, 03 Mar 2017 19:33:52 +0100 wenzelm support for decorations;
Fri, 03 Mar 2017 17:53:24 +0100 wenzelm clarified signature;
Fri, 03 Mar 2017 11:07:27 +0100 wenzelm clarified versions;
Fri, 03 Mar 2017 10:51:24 +0100 wenzelm clarified LICENSE;
Thu, 02 Mar 2017 17:08:18 +0100 wenzelm more robust: tmp files might get deleted concurrently in ML vs. Scala process;
Thu, 02 Mar 2017 16:46:22 +0100 wenzelm clarified fonts;
Thu, 02 Mar 2017 16:25:17 +0100 wenzelm tuned;
Thu, 02 Mar 2017 16:23:39 +0100 wenzelm clarified errors;
Thu, 02 Mar 2017 16:09:46 +0100 wenzelm tuned;
Thu, 02 Mar 2017 16:05:09 +0100 wenzelm clarified;
Thu, 02 Mar 2017 16:01:30 +0100 wenzelm tuned message;
Thu, 02 Mar 2017 15:56:43 +0100 wenzelm tuned;
Thu, 02 Mar 2017 15:46:27 +0100 wenzelm tuned;
Thu, 02 Mar 2017 14:37:13 +0100 wenzelm handler for Isabelle version;
Thu, 02 Mar 2017 14:14:48 +0100 wenzelm tuned;
Thu, 02 Mar 2017 14:10:41 +0100 wenzelm handler for Isabelle fonts;
Thu, 02 Mar 2017 13:36:07 +0100 wenzelm more operations;
Thu, 02 Mar 2017 12:31:07 +0100 wenzelm clarified modules;
Thu, 02 Mar 2017 12:09:50 +0100 wenzelm clarified signature;
Wed, 01 Mar 2017 17:09:54 +0100 wenzelm misc tuning and modernization;
Wed, 01 Mar 2017 15:16:06 +0100 wenzelm improved performance of remove, e.g. relevant for Theories_Dockable.purge;
Wed, 01 Mar 2017 11:26:19 +0100 wenzelm more uniform platform settings;
Tue, 28 Feb 2017 23:12:52 +0100 wenzelm more detailed platform information;
Tue, 28 Feb 2017 19:50:08 +0100 wenzelm proper Isabelle/Scala tool;
Tue, 28 Feb 2017 17:51:49 +0100 wenzelm more operations;
Tue, 28 Feb 2017 17:48:28 +0100 wenzelm tuned;
Tue, 28 Feb 2017 16:26:05 +0100 wenzelm merged;
Tue, 28 Feb 2017 12:42:50 +0100 wenzelm tuned message;
Tue, 28 Feb 2017 15:17:57 +0000 paulson tidied some messy proofs
Tue, 28 Feb 2017 13:55:34 +0000 paulson Merge
Tue, 28 Feb 2017 13:51:47 +0000 paulson Renamed ii to imaginary_unit in order to free up ii as a variable name. Also replaced some legacy def commands
Tue, 28 Feb 2017 12:04:23 +0100 wenzelm more tests;
Tue, 28 Feb 2017 08:18:12 +0100 haftmann stripped unused / obsolete material
Mon, 27 Feb 2017 20:44:25 +0100 wenzelm merged
Mon, 27 Feb 2017 17:58:00 +0100 wenzelm more links;
Mon, 27 Feb 2017 17:50:29 +0100 wenzelm clarified priority: zero can mean unknown/long or irrelevant/short time;
Mon, 27 Feb 2017 16:29:52 +0100 wenzelm absent timing information means zero, according to 0070053570c4, f235646b1b73;
Mon, 27 Feb 2017 17:17:26 +0000 paulson Some new lemmas thanks to Lukas Bulwahn. Also, NEWS.
Mon, 27 Feb 2017 00:00:28 +0100 wenzelm clarified defaults;
Sun, 26 Feb 2017 23:50:19 +0100 wenzelm tuned whitespace;
Sun, 26 Feb 2017 22:41:10 +0100 wenzelm tuned;
Sun, 26 Feb 2017 22:13:07 +0100 wenzelm clarified defaults;
Sun, 26 Feb 2017 22:01:54 +0100 wenzelm more operations;
Sun, 26 Feb 2017 22:01:14 +0100 wenzelm tuned signature;
Sun, 26 Feb 2017 13:22:14 +0100 haftmann re-established AFP entry for FinFuns as library
Sun, 26 Feb 2017 11:38:33 +0100 haftmann clarified comment
Fri, 24 Feb 2017 13:59:50 +0100 blanchet added multiset lemma
Fri, 24 Feb 2017 13:59:49 +0100 blanchet added multiset lemma
Fri, 24 Feb 2017 13:24:55 +0100 wenzelm back to Poly/ML 5.6 until odd memory management problems are sorted out;
Fri, 24 Feb 2017 12:24:13 +0100 wenzelm avoid Unicode that conflicts with Isabelle symbol rendering;
Wed, 22 Feb 2017 21:12:23 +0100 haftmann more correct wording
Wed, 22 Feb 2017 20:34:24 +0100 haftmann explicit dynamic context for gap-bridging function
Wed, 22 Feb 2017 20:33:53 +0100 haftmann more precise NEWS and CONTRIBUTORS
Wed, 22 Feb 2017 20:24:50 +0100 haftmann basic documentation for computations
Wed, 22 Feb 2017 16:21:26 +0000 paulson The Great Picard Theorem
Wed, 22 Feb 2017 15:04:59 +0000 paulson New theory about Winding Numbers
Wed, 22 Feb 2017 12:30:28 +0000 paulson new lemmas about segments, etc. Also recast some theorems to use Union rather than general set comprehensions
Tue, 21 Feb 2017 17:12:10 +0000 paulson some new material, also recasting some theorems using “obtains”
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 tip