NEWS
Wed, 05 May 2021 16:09:02 +0000 haftmann more appropriate location
Sun, 02 May 2021 17:38:49 +0200 wenzelm support nested cases;
Thu, 22 Apr 2021 10:11:11 +0200 wenzelm simplified typesetting of \<guillemotleft>...\<guillemotright>;
Fri, 16 Apr 2021 23:16:00 +0200 wenzelm support for conditional ML text;
Fri, 09 Apr 2021 22:06:59 +0200 wenzelm support for ML special forms: modified evaluation similar to Scheme;
Sat, 27 Mar 2021 18:01:41 +0100 wenzelm clarified output;
Sat, 27 Mar 2021 17:13:15 +0100 wenzelm support repository archives (without full .hg directory);
Thu, 25 Mar 2021 08:52:15 +0000 haftmann dedicated session for combinatorial material
Mon, 22 Mar 2021 17:33:08 +0100 wenzelm more NEWS;
Mon, 22 Mar 2021 10:49:51 +0000 haftmann more lemmas
Mon, 22 Mar 2021 00:07:55 +0100 wenzelm clarified package name (actually both pxfonts and txfonts exist and have this font);
Sun, 21 Mar 2021 23:56:54 +0100 wenzelm tuned;
Sun, 21 Mar 2021 23:03:31 +0100 wenzelm high-quality blackboard-bold fonts from "txmia" (package "txfonts");
Wed, 17 Mar 2021 22:24:57 +0100 wenzelm more Isabelle symbol definitions for Z Notation, based on https://github.com/isabelle-utp/Z_Toolkit 998c9f7880d3 by Simon Foster;
Sun, 14 Mar 2021 21:02:34 +0100 wenzelm removed spurious references to perl / libwww-perl;
Thu, 11 Mar 2021 07:05:38 +0000 haftmann avoid name clash
Thu, 11 Mar 2021 11:22:25 +0100 wenzelm tuned;
Tue, 09 Mar 2021 21:11:05 +0100 wenzelm proper type-setting of cartouches (requires T1);
Sun, 07 Mar 2021 08:24:24 +0100 haftmann follow corresponding precedence on sets
Sat, 06 Mar 2021 18:42:10 +0000 haftmann consolidated names
Fri, 05 Mar 2021 17:29:49 +0100 wenzelm clarified timeouts in Isabelle/ML;
Fri, 05 Mar 2021 10:30:54 +0100 haftmann typo draft
Mon, 01 Mar 2021 08:16:22 +0100 haftmann NEWS
Sat, 27 Feb 2021 22:17:56 +0100 wenzelm more Isabelle/ML/Scala operations;
Sat, 27 Feb 2021 21:36:58 +0100 wenzelm more Isabelle/ML/Scala operations;
Sat, 27 Feb 2021 21:01:07 +0100 wenzelm more Isabelle/ML/Scala operations;
Tue, 23 Feb 2021 23:00:08 +0100 wenzelm more on Isabelle_System.bash;
Tue, 23 Feb 2021 20:41:48 +0000 haftmann more specific name
Mon, 22 Feb 2021 23:31:59 +0100 wenzelm NEWS;
Mon, 22 Feb 2021 18:28:12 +0000 haftmann NEWS
Mon, 22 Feb 2021 07:49:48 +0000 haftmann get rid of traditional predicate
Fri, 19 Feb 2021 13:42:12 +0100 Manuel Eberl HOL-Analysis/Probability: Hoeffding's inequality, negative binomial distribution, etc. draft
Sat, 13 Feb 2021 20:39:29 +0100 wenzelm tuned NEWS;
Sun, 07 Feb 2021 20:44:44 +0100 wenzelm updated for release;
Wed, 03 Feb 2021 20:18:34 +0100 wenzelm clarified links to external files, e.g. .pdf within .thy source document;
Tue, 26 Jan 2021 23:34:40 +0100 wenzelm more NEWS;
Fri, 22 Jan 2021 18:44:34 +0100 wenzelm IDE support for Naproche-SAD;
Thu, 21 Jan 2021 16:10:43 +0100 wenzelm support isabelle components -u and -x;
Tue, 19 Jan 2021 14:14:23 +0100 wenzelm clarified documentation concerning macOS Big Sur;
Mon, 18 Jan 2021 20:11:42 +0100 wenzelm obsolete;
Mon, 18 Jan 2021 19:53:20 +0100 wenzelm more NEWS;
Sun, 17 Jan 2021 11:19:15 +0100 wenzelm revert 1105c42722dc on isabelle-release branch;
Sun, 10 Jan 2021 15:48:15 +0100 wenzelm back to post-release mode;
Sun, 10 Jan 2021 15:35:24 +0100 wenzelm tuned; Isabelle2021-RC2
Sun, 10 Jan 2021 13:17:27 +0100 wenzelm more documentation;
Sat, 09 Jan 2021 19:49:22 +0100 wenzelm clarified default L&F of Isabelle/Scala (not Isabelle/jEdit);
Sat, 09 Jan 2021 00:11:52 +0100 wenzelm clarified default L&F;
Fri, 08 Jan 2021 19:53:44 +0100 Manuel Eberl HOL-Data_Structures: added Selection and time functions for list functions
Thu, 07 Jan 2021 13:23:54 +0100 wenzelm clarified NEWS;
Wed, 06 Jan 2021 12:59:52 +0100 wenzelm more NEWS;
Tue, 05 Jan 2021 03:35:46 +0100 Manuel Eberl HOL-Library.Multiset: new notation for prod_mset, consistent with sum_mset
Mon, 04 Jan 2021 21:25:40 +0100 wenzelm merged
Mon, 04 Jan 2021 21:24:15 +0100 wenzelm more documentation;
Mon, 04 Jan 2021 19:41:38 +0100 Manuel Eberl HOL-Library: Changed notation for sum_mset
Sun, 27 Dec 2020 14:04:16 +0100 wenzelm tuned;
Sun, 27 Dec 2020 13:52:55 +0100 wenzelm proper NEWS according to current situation;
Sun, 27 Dec 2020 13:49:03 +0100 wenzelm updated for release;
Thu, 24 Dec 2020 00:07:51 +0100 wenzelm more NEWS;
Wed, 23 Dec 2020 21:06:31 +0100 wenzelm clarified modules: avoid multiple uses of the same ML file;
Mon, 21 Dec 2020 14:03:12 +0100 wenzelm misc tuning for release;
less more (0) -3000 -1000 -300 -100 -60 tip