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 15:26:04 +0100 paulson type instantiations for poly_mapping as a real_normed_vector
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";
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
Mon, 08 Apr 2019 20:37:03 +0100 paulson NEWS on homology
Tue, 09 Apr 2019 10:51:35 +0200 wenzelm tuned -- prefer Isar command 'compile_generated_files';
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;
Fri, 05 Apr 2019 21:54:08 +0200 wenzelm clarified;
Thu, 04 Apr 2019 23:05:53 +0200 wenzelm more NEWS;
Thu, 04 Apr 2019 23:01:07 +0200 wenzelm tuned;
Thu, 04 Apr 2019 22:18:16 +0200 wenzelm documentation for generated files;
Tue, 02 Apr 2019 14:46:01 +0200 wenzelm updated for release;
Tue, 02 Apr 2019 14:12:21 +0200 wenzelm tuned;
Tue, 02 Apr 2019 13:22:16 +0200 wenzelm more convenient export;
Tue, 02 Apr 2019 13:02:03 +0200 wenzelm misc tuning for release;
Mon, 01 Apr 2019 21:58:45 +0200 wenzelm 'code_reflect' only supports new-style 'file_prefix';
Fri, 29 Mar 2019 13:42:17 +0100 wenzelm clarified 'file_prefix';
Thu, 28 Mar 2019 21:24:55 +0100 wenzelm "export_code ... file_prefix ..." is the preferred way to produce output within the logical file-system within the theory context, as well as session exports;
Sun, 24 Mar 2019 13:48:46 +0100 wenzelm documentation of document markers and re-interpreted command tags;
Sat, 23 Mar 2019 20:12:50 +0100 wenzelm NEWS for proper Isabelle version;
Wed, 20 Mar 2019 20:15:30 +0100 wenzelm access OCaml tools and libraries via ISABELLE_OCAMLFIND;
Thu, 14 Mar 2019 21:17:40 +0100 wenzelm merged
Thu, 14 Mar 2019 16:55:06 +0100 wenzelm more specific keyword kinds;
Thu, 14 Mar 2019 19:06:40 +0100 haftmann include zarith in the default opam setup
Sun, 10 Mar 2019 15:16:45 +0000 haftmann migrated from Nums to Zarith as library for OCaml integer arithmetic
Tue, 12 Mar 2019 15:34:33 +0100 wenzelm updated to polyml-5.8 (official release);
Tue, 05 Mar 2019 07:00:21 +0000 haftmann avoid context-sensitive simp rules whose context-free form (image_comp) is not simp by default
Fri, 01 Mar 2019 21:29:59 +0100 wenzelm system option "system_heaps" supersedes various command-line options for "system build mode";
Thu, 21 Feb 2019 09:15:07 +0000 haftmann streamlined specification interfaces
Thu, 21 Feb 2019 09:15:06 +0000 haftmann sligthly more interpunctation and qualification
less more (0) -3000 -1000 -300 -100 -60 tip