NEWS
12 months ago haftmann 2017-11-11 dedicated definition for coprimality
12 months ago wenzelm 2017-11-11 more options for "isabelle mkroot"; updated documentation;
12 months ago wenzelm 2017-11-05 more uniform header syntax, in contrast to the former etc/abbrevs file-format (see 73939a9b70a3);
12 months ago wenzelm 2017-11-03 tuned (non-unique example);
12 months ago wenzelm 2017-11-03 clarified situation of global theory names;
12 months ago wenzelm 2017-11-02 allow unrelated ancestor; clarified error;
12 months ago wenzelm 2017-11-02 support alternative ancestor session;
12 months ago wenzelm 2017-11-02 support focus_session, for much faster startup of Isabelle/jEdit; more options for "isabelle jedit";
12 months ago wenzelm 2017-11-01 added isabelle jedit options -B, -P, clarified -R; misc tuning and clarification;
12 months ago haftmann 2017-10-31 removed ancient nat-int transfer
12 months ago wenzelm 2017-10-30 NEWS;
12 months ago haftmann 2017-10-30 rule out pathologic instances
12 months ago wenzelm 2017-10-23 discontinued Linux 32bit platform support;
12 months ago wenzelm 2017-10-23 updated to jdk-8u152, which is for x86_64 only;
13 months ago wenzelm 2017-10-12 more informative Imports.Report with actual session imports (minimized);
13 months ago wenzelm 2017-10-11 tuned whitespace;
13 months ago wenzelm 2017-10-11 clarified meta_digest;
13 months ago wenzelm 2017-10-11 added isablle build option -f;
13 months ago paulson 2017-10-10 Session HOL-Analysis: Moebius functions and the Riemann mapping theorem.
13 months ago haftmann 2017-10-08 Polynomial_Factorial does not depend on Field_as_Ring as such
13 months ago haftmann 2017-10-08 avoid name clashes on interpretation of abstract locales
13 months ago haftmann 2017-10-08 avoid trivial definition
13 months ago haftmann 2017-10-08 avoid fact name clashes
13 months ago wenzelm 2017-10-08 merged
13 months ago wenzelm 2017-10-03 more NEWS;
13 months ago wenzelm 2017-10-05 completion supports theory header imports; tuned;
13 months ago wenzelm 2017-10-04 process ROOT files only once, which allows duplicate (or overlapping) session root directories;
13 months ago wenzelm 2017-10-02 discontinued obsolete 'files' in session ROOT;
13 months ago wenzelm 2017-10-02 added command 'external_file';
13 months ago wenzelm 2017-10-02 option -S for "isabelle build";
13 months ago blanchet 2017-10-01 updated NEWS
13 months ago wenzelm 2017-10-01 option -B for "isabelle build" and "isabelle imports";
13 months ago wenzelm 2017-09-30 NEWS;
13 months ago wenzelm 2017-09-28 session-qualified theory names are mandatory;
13 months ago wenzelm 2017-09-23 merged
14 months ago wenzelm 2017-09-17 more documentation; tuned message;
14 months ago haftmann 2017-09-11 spelling
14 months ago blanchet 2017-09-22 document incompatibility
14 months ago blanchet 2017-09-22 real oracle
14 months ago wenzelm 2017-09-08 back to post-release mode -- after fork point;
14 months ago wenzelm 2017-09-08 tuned;
14 months ago paulson 2017-09-08 Correction of typos and a bit of streamlining
14 months ago paulson 2017-09-08 Simplicial complexes and triangulations; Baire Category Theorem
14 months ago blanchet 2017-09-08 moved Nunchaku to Main; the goal is to move Nitpick out in the next 1-2 years
14 months ago wenzelm 2017-09-02 proper URL;
14 months ago wenzelm 2017-08-31 reverted 6acb28e5ba41: permissiveness of 1e5ae735e026 should be sufficient;
14 months ago Andreas Lochbihler 2017-08-30 add type of unordered pairs
14 months ago wenzelm 2017-08-29 proper theory name;
14 months ago nipkow 2017-08-29 news
15 months ago Manuel Eberl 2017-08-23 HOL-Library: going_to filter
15 months ago Lars Hupel 2017-08-22 output syntax for pattern aliases
15 months ago Manuel Eberl 2017-08-21 HOL-Analysis: Convergent FPS and infinite sums
15 months ago wenzelm 2017-08-21 tuned;
15 months ago wenzelm 2017-08-21 tuned;
15 months ago wenzelm 2017-08-21 misc tuning and updates for release;
15 months ago wenzelm 2017-08-20 officially allow restart of Isabelle plugin;
15 months ago wenzelm 2017-08-18 merged
15 months ago wenzelm 2017-08-18 more NEWS;
15 months ago Lars Hupel 2017-08-18 syntax for pattern aliases
15 months ago eberlm 2017-08-17 NEWS: Removed constant subseq; subsumed by strict_mono