NEWS
21 months ago wenzelm 2017-10-08 merged
21 months ago wenzelm 2017-10-03 more NEWS;
21 months ago wenzelm 2017-10-05 completion supports theory header imports; tuned;
21 months ago wenzelm 2017-10-04 process ROOT files only once, which allows duplicate (or overlapping) session root directories;
21 months ago wenzelm 2017-10-02 discontinued obsolete 'files' in session ROOT;
21 months ago wenzelm 2017-10-02 added command 'external_file';
21 months ago wenzelm 2017-10-02 option -S for "isabelle build";
22 months ago blanchet 2017-10-01 updated NEWS
22 months ago wenzelm 2017-10-01 option -B for "isabelle build" and "isabelle imports";
22 months ago wenzelm 2017-09-30 NEWS;
22 months ago wenzelm 2017-09-28 session-qualified theory names are mandatory;
22 months ago wenzelm 2017-09-23 merged
22 months ago wenzelm 2017-09-17 more documentation; tuned message;
22 months ago haftmann 2017-09-11 spelling
22 months ago blanchet 2017-09-22 document incompatibility
22 months ago blanchet 2017-09-22 real oracle
22 months ago wenzelm 2017-09-08 back to post-release mode -- after fork point;
22 months ago wenzelm 2017-09-08 tuned;
22 months ago paulson 2017-09-08 Correction of typos and a bit of streamlining
22 months ago paulson 2017-09-08 Simplicial complexes and triangulations; Baire Category Theorem
22 months ago blanchet 2017-09-08 moved Nunchaku to Main; the goal is to move Nitpick out in the next 1-2 years
22 months ago wenzelm 2017-09-02 proper URL;
23 months ago wenzelm 2017-08-31 reverted 6acb28e5ba41: permissiveness of 1e5ae735e026 should be sufficient;
23 months ago Andreas Lochbihler 2017-08-30 add type of unordered pairs
23 months ago wenzelm 2017-08-29 proper theory name;
23 months ago nipkow 2017-08-29 news
23 months ago Manuel Eberl 2017-08-23 HOL-Library: going_to filter
23 months ago Lars Hupel 2017-08-22 output syntax for pattern aliases
23 months ago Manuel Eberl 2017-08-21 HOL-Analysis: Convergent FPS and infinite sums
23 months ago wenzelm 2017-08-21 tuned;
23 months ago wenzelm 2017-08-21 tuned;
23 months ago wenzelm 2017-08-21 misc tuning and updates for release;
23 months ago wenzelm 2017-08-20 officially allow restart of Isabelle plugin;
23 months ago wenzelm 2017-08-18 merged
23 months ago wenzelm 2017-08-18 more NEWS;
23 months ago Lars Hupel 2017-08-18 syntax for pattern aliases
23 months ago eberlm 2017-08-17 NEWS: Removed constant subseq; subsumed by strict_mono
23 months ago wenzelm 2017-08-17 support for incremental update according to session graph structure;
23 months ago nipkow 2017-08-15 NEWS sorted_wrt
23 months ago wenzelm 2017-08-15 NEWS;
23 months ago haftmann 2017-08-06 do not fall back on nbe if plain evaluation fails
23 months ago haftmann 2017-08-02 simplified function specification history: each pending function specification is historized at the end of a theory, without additional bookkeeping; sufficient to keep history stamps rather than complete historized data; semantically conflicting specifications are temoprary blacklisted after theory merge but remain historized; clarified signature;
24 months ago blanchet 2017-07-28 introduced option for nat-as-int in SMT
2017-07-15 eberlm 2017-07-15 Updated NEWS
2017-07-03 wenzelm 2017-07-03 added command 'alias' and 'type_alias';
2017-06-30 wenzelm 2017-06-30 NEWS;
2017-06-23 wenzelm 2017-06-23 NEWS;
2017-06-20 haftmann 2017-06-20 deleting a code equation never leads to unimplemented function
2017-06-20 blanchet 2017-06-20 SMT news
2017-06-05 wenzelm 2017-06-05 HTML preview via builtin HTTP server;
2017-05-29 eberlm 2017-05-29 reorganised material on sublists
2017-05-15 wenzelm 2017-05-15 NEWS;
2017-05-05 Manuel Eberl 2017-05-05 NEWS: totient 1 = 1 now
2017-04-24 wenzelm 2017-04-24 tuned;
2017-04-24 wenzelm 2017-04-24 clarified meaning of "isabelle jedit -R": avoid potential problems with all_known = true;
2017-04-23 wenzelm 2017-04-23 tuned documentation;
2017-04-23 wenzelm 2017-04-23 clarified tool name -- more official status;
2017-04-22 wenzelm 2017-04-22 theories "GCD" and "Binomial" are already included in "Main": this avoids improper imports in applications;
2017-04-21 wenzelm 2017-04-21 merged
2017-04-21 wenzelm 2017-04-21 afford unconditional all_known = true (reverting ea42dfd95ec8), for practical usability of qualified imports from arbitrary sessions;