NEWS
Mon, 23 Dec 2019 22:30:03 +0100 wenzelm NEWS;
Thu, 19 Dec 2019 17:29:35 +0100 wenzelm NEWS;
Mon, 16 Dec 2019 21:15:12 +0100 wenzelm tuned NEWS;
Mon, 16 Dec 2019 19:58:11 +0100 wenzelm tuned;
Tue, 10 Dec 2019 01:06:39 +0100 traytel NEWS, CONTRIBUTORS, and documentation
Mon, 09 Dec 2019 16:13:36 +0000 paulson Ramsey with multiple colours and arbitrary exponents
Fri, 06 Dec 2019 17:16:23 +0100 traytel NEWS, CONTRIBUTORS, and documentation draft
Tue, 26 Nov 2019 08:09:44 +0100 ballarin Remove diagnostic command 'print_dependencies'.
Fri, 22 Nov 2019 15:26:08 +0100 haftmann tuned whitespace
Fri, 22 Nov 2019 09:25:01 +0000 haftmann proper prefix syntax
Thu, 21 Nov 2019 15:22:24 +0100 wenzelm tuned;
Thu, 14 Nov 2019 22:37:12 +0100 wenzelm NEWS;
Sun, 27 Oct 2019 20:11:30 -0400 immler NEWS
Sun, 27 Oct 2019 16:47:27 +0100 nipkow NEWS
Wed, 09 Oct 2019 14:51:54 +0000 haftmann dedicated fact collections for algebraic simplification rules potentially splitting goals
Fri, 04 Oct 2019 15:30:52 +0200 wenzelm Term_XML.Encode/Decode.term uses Const "typargs";
Thu, 12 Sep 2019 14:22:47 +0200 wenzelm discontinued obsolete "isabelle imports" and all_known data;
Thu, 12 Sep 2019 13:33:09 +0200 wenzelm find theory files via session structure: much faster Prover IDE startup;
Wed, 11 Sep 2019 16:06:10 +0200 wenzelm disallow overlapping session directories;
Sun, 08 Sep 2019 17:15:46 +0200 wenzelm more documentation;
Sat, 24 Aug 2019 12:03:00 +0200 ballarin Tracing of locale activation.
Fri, 23 Aug 2019 14:32:51 +0200 wenzelm clarified 'thm_deps' command;
Tue, 20 Aug 2019 22:01:37 +0200 wenzelm NEWS;
Sat, 17 Aug 2019 17:21:30 +0200 wenzelm added ML antiquotation @{oracle_name};
Sat, 17 Aug 2019 13:17:40 +0200 wenzelm NEWS;
Tue, 13 Aug 2019 20:54:08 +0200 wenzelm NEWS and example for Theory.join_theory;
Tue, 13 Aug 2019 20:19:15 +0200 wenzelm tuned whitespace;
Tue, 13 Aug 2019 20:16:03 +0200 wenzelm more documentation;
Mon, 29 Jul 2019 16:26:06 +0200 nipkow News for bind infixl
Fri, 14 Jun 2019 08:34:28 +0000 haftmann official fact collection sign_simps
Fri, 14 Jun 2019 08:34:27 +0000 haftmann clear separation of types for bits (False / True) and Z2 (0 / 1)
Fri, 14 Jun 2019 08:34:27 +0000 haftmann removed relics of ASCII syntax for indexed big operators
Sat, 01 Jun 2019 13:53:23 +0200 wenzelm merged
Tue, 28 May 2019 19:52:14 +0200 wenzelm tuned;
Mon, 27 May 2019 16:47:17 +0200 wenzelm merged
Sat, 18 May 2019 12:08:30 +0200 wenzelm tuned;
Sat, 11 May 2019 19:08:26 +0200 wenzelm back to post-release mode;
Fri, 10 May 2019 10:41:38 +0200 wenzelm more documentation;
Thu, 09 May 2019 16:40:58 +0200 wenzelm more NEWS;
Fri, 03 May 2019 20:04:42 +0200 haftmann more NEWS
Tue, 30 Apr 2019 11:57:45 +0100 paulson Algebraic closure: moving more theorems into their rightful places
Tue, 16 Apr 2019 19:50:20 +0000 haftmann eliminated type class
Tue, 16 Apr 2019 19:50:19 +0000 haftmann entry point for comprehensive word library
Tue, 16 Apr 2019 20:00:14 +0200 wenzelm tuned for release;
Sun, 14 Apr 2019 13:32:26 +0100 paulson Group theory developments towards proving algebraic closure (by de Vilhena and Baillon)
Sat, 13 Apr 2019 13:30:02 +0200 wenzelm more abbrevs;
Fri, 12 Apr 2019 22:57:17 +0200 wenzelm updated documentation;
Thu, 11 Apr 2019 16:49:55 +0100 paulson merged
Thu, 11 Apr 2019 16:43:02 +0200 wenzelm strip cartouches from arguments of "embedded" document antiquotations, corresponding to automated update via "isabelle update -u control_cartouches" -- e.g. relevant for documents with thy_output_source (e.g. doc "isar-ref", "jedit", "system");
Thu, 11 Apr 2019 15:44:06 +0200 wenzelm added document antiquotation option "cartouche";
Thu, 11 Apr 2019 15:26:04 +0100 paulson type instantiations for poly_mapping as a real_normed_vector
Wed, 10 Apr 2019 15:45:16 +0200 wenzelm merged
Wed, 10 Apr 2019 15:10:43 +0200 wenzelm clarified build of standard heaps;
Tue, 09 Apr 2019 12:36:53 +0100 paulson merged
Tue, 09 Apr 2019 10:51:35 +0200 wenzelm tuned -- prefer Isar command 'compile_generated_files';
Mon, 08 Apr 2019 20:37:03 +0100 paulson NEWS on homology
Sun, 07 Apr 2019 21:05:22 +0200 traytel NEWS
Sun, 07 Apr 2019 12:41:52 +0200 wenzelm proper etc/preferences;
Sat, 06 Apr 2019 22:05:25 +0200 wenzelm support both hinted and unhinted fonts;
Fri, 05 Apr 2019 22:58:29 +0200 wenzelm proper default;
less more (0) -3000 -1000 -300 -100 -60 tip