NEWS
Tue, 10 May 2016 14:04:44 +0100 paulson Theory of polyhedra: faces, extreme points, polytopes, and the Krein–Milman
Thu, 28 Apr 2016 11:34:26 +0200 wenzelm NEWS;
Tue, 26 Apr 2016 22:39:17 +0200 wenzelm 'obtain' supports structured statements (similar to 'define');
Mon, 25 Apr 2016 19:41:39 +0200 wenzelm old 'def' is legacy;
Sun, 24 Apr 2016 21:31:14 +0200 wenzelm added Isar command 'define';
Wed, 20 Apr 2016 11:44:25 +0200 wenzelm reactivated other_id reports (see also db929027e701, 8eda56033203);
Tue, 19 Apr 2016 12:06:34 +0200 wenzelm more IDE support for Isabelle/Pure bootstrap;
Fri, 15 Apr 2016 16:50:23 +0200 wenzelm merged
Thu, 14 Apr 2016 23:31:10 +0200 wenzelm highlighting of entity def/ref positions wrt. cursor;
Thu, 14 Apr 2016 15:55:00 +0200 hoelzl change is incompatible
Thu, 14 Apr 2016 15:48:11 +0200 hoelzl Probability: move emeasure and nn_integral from ereal to ennreal
Wed, 13 Apr 2016 18:01:05 +0200 wenzelm eliminated "xname" and variants;
Tue, 12 Apr 2016 18:49:39 +0200 wenzelm tuned;
Tue, 12 Apr 2016 14:38:57 +0200 wenzelm Type_Infer.object_logic controls improvement of type inference result;
Sat, 09 Apr 2016 21:42:42 +0200 wenzelm removed old proof method "default";
Sat, 09 Apr 2016 19:30:15 +0200 wenzelm support ROOT0.ML as well -- independently of ROOT.ML;
Thu, 07 Apr 2016 17:26:22 +0200 wenzelm NEWS;
Wed, 06 Apr 2016 11:57:21 +0200 wenzelm simplified bootstrap: critical structures remain accessible in ML_Root context;
Tue, 05 Apr 2016 19:41:58 +0200 wenzelm clarified bootstrap environment;
Mon, 04 Apr 2016 23:13:41 +0200 wenzelm tuned;
Mon, 04 Apr 2016 20:07:08 +0200 wenzelm option ML_system_unsafe;
Mon, 04 Apr 2016 09:45:04 +0200 blanchet added reference from NEWS to docs
Sun, 03 Apr 2016 23:56:52 +0200 wenzelm renamed ISABELLE_BUILD_JAVA_OPTIONS to ISABELLE_TOOL_JAVA_OPTIONS;
Fri, 01 Apr 2016 21:34:51 +0200 wenzelm documentation;
Fri, 01 Apr 2016 16:15:31 +0200 wenzelm explicit property for unbreakable block;
Tue, 22 Mar 2016 12:39:37 +0100 blanchet document addition of 'corec'
Sat, 19 Mar 2016 16:53:09 +0100 haftmann unified CHAR with CHR syntax
Fri, 18 Mar 2016 20:35:01 +0100 wenzelm recovered from Unicode accident in 7248d106c607;
Fri, 18 Mar 2016 20:29:50 +0100 wenzelm merged
Thu, 17 Mar 2016 16:56:44 +0100 wenzelm @{make_string} is available during Pure bootstrap;
Fri, 18 Mar 2016 08:01:49 +0100 Andreas Lochbihler move Complete_Partial_Orders2 from AFP/Coinductive to HOL/Library
Wed, 16 Mar 2016 22:19:08 +0100 wenzelm eliminated spurious Unicode, which is in conflict with Isabelle symbol interpretation;
Wed, 16 Mar 2016 22:04:38 +0100 wenzelm NEWS;
Sat, 12 Mar 2016 22:22:12 +0100 haftmann spelling
Sat, 12 Mar 2016 22:04:52 +0100 haftmann model characters directly as range 0..255
Thu, 10 Mar 2016 22:21:01 +0100 wenzelm tuned;
Thu, 10 Mar 2016 12:11:50 +0100 wenzelm isabelle_process is superseded by "isabelle process" tool;
Wed, 09 Mar 2016 21:01:22 +0100 wenzelm merged
Tue, 08 Mar 2016 20:02:46 +0100 wenzelm back to external line editor, due to problems of JLine with multithreading of in vs. out;
Tue, 08 Mar 2016 18:15:16 +0100 wenzelm isabelle console is based on Isabelle/Scala;
Mon, 07 Mar 2016 21:53:21 +0100 wenzelm discontinued cd, pwd;
Mon, 07 Mar 2016 21:09:28 +0100 wenzelm File.bash_string operations in ML as in Scala -- exclusively for GNU bash, not perl and not user output;
Tue, 08 Mar 2016 21:07:46 +0100 haftmann syntax for multiset membership modelled after syntax for set membership
Mon, 07 Mar 2016 23:20:11 +0100 blanchet made 'size' plugin compatible with locales again (and added regression test)
Sat, 05 Mar 2016 23:05:07 +0100 wenzelm NEWS after Isabelle2016;
Sat, 05 Mar 2016 20:47:31 +0100 wenzelm abbreviations for \<nexists>;
Sat, 05 Mar 2016 19:58:56 +0100 wenzelm old HOL syntax is for input only;
Sat, 05 Mar 2016 17:01:45 +0100 wenzelm tuned signature -- clarified modules;
Sat, 05 Mar 2016 12:49:47 +0100 wenzelm tuned signature;
Thu, 03 Mar 2016 22:16:52 +0100 wenzelm isabelle console -r" helps to bootstrap Isabelle/Pure;
Thu, 03 Mar 2016 21:30:31 +0100 wenzelm clarified isabelle_process;
Thu, 03 Mar 2016 11:12:02 +0100 wenzelm discontinued polyml-5.3.0;
Wed, 02 Mar 2016 19:43:31 +0100 wenzelm support for ML_exception_debugger;
Mon, 29 Feb 2016 22:34:36 +0100 wenzelm clarified session;
Mon, 29 Feb 2016 20:35:06 +0100 wenzelm isabelle_process executable no longer supports writable heap images;
Sun, 28 Feb 2016 17:37:20 +0100 wenzelm discontinued old 'header';
Sun, 28 Feb 2016 15:43:56 +0100 wenzelm removed pointless "isabelle yxml";
Sat, 27 Feb 2016 21:04:13 +0100 wenzelm symbol interpretation for \<circle>;
Fri, 26 Feb 2016 22:44:11 +0100 haftmann more succint formulation of membership for multisets, similar to lists;
Thu, 25 Feb 2016 19:08:48 +0100 wenzelm isabelle_scala_script is usually found by PATH;
less more (0) -1000 -300 -100 -60 tip