NEWS
2012-09-22 wenzelm some PIDE NEWS from this summer;
2012-09-21 blanchet renamed "Codatatype" directory "BNF" (and corresponding session) -- this opens the door to no-nonsense session names like "HOL-BNF-LFP"
2012-09-20 Andreas Lochbihler NEWS and CONTRIBUTORS for a5377f6d9f14 and f0ecc1550998
2012-09-15 haftmann typeclass formalising bounded subtraction
2012-09-14 blanchet merged two commands
2012-09-12 blanchet renamed "Ordinals_and_Cardinals" to "Cardinals"
2012-09-10 wenzelm more explicit indication of legacy features;
2012-09-07 haftmann lattice instances for option type
2012-09-07 haftmann combinator Option.these
2012-09-04 Christian Sternagel NEWS; CONTRIBUTORS
2012-09-03 wenzelm "isabelle logo" produces EPS and PDF format simultaneously;
2012-08-29 wenzelm provide polyml-5.4.1 as regular component;
2012-08-29 wenzelm renamed Position.str_of to Position.here;
2012-08-28 blanchet updated NEWS and CONTRIBUTORS
2012-08-27 wenzelm clarified "isabelle logo";
2012-08-22 wenzelm 'ML_file' evaluates ML text from a file directly within the theory, without predeclaration via 'uses';
2012-08-17 wenzelm some explanations on isabelle components;
2012-08-14 wenzelm support for 'typ' with explicit sort constraint;
2012-08-08 wenzelm discontinued obsolete "isabelle makeall";
2012-08-07 wenzelm discontinued obsolete IsaMakefile and ROOT.ML files from the Isabelle distribution;
2012-08-06 wenzelm "isabelle options" prints Isabelle system options;
2012-08-05 wenzelm more on isabelle mkroot;
2012-08-03 wenzelm simplified custom document/build script, instead of old-style document/IsaMakefile;
2012-07-31 wenzelm document variant NAME may use different LaTeX entry point document/root_NAME.tex if that file exists;
2012-07-28 wenzelm discontinued obsolete Isabelle/build script;
2012-07-28 wenzelm announce advanced support for Isabelle sessions and build management;
2012-07-28 wenzelm discontinued special treatment of Proof General;
2012-07-23 haftmann restrict unqualified imports from Haskell Prelude to a small set of fundamental operations
2012-07-22 haftmann NEWS
2012-07-20 blanchet added MaSh to news
2012-07-19 haftmann export code relatively to master directory
2012-07-18 blanchet removed lie
2012-07-18 blanchet doc updates
2012-07-06 wenzelm tuned;
2012-07-06 wenzelm discontinued obsolete attribute "COMP";
2012-06-29 wenzelm default for \<euro> is now based on eurosym package, instead of slightly exotic babel/greek (which causes problems with the Gentoo installation on lxbroy2);
2012-06-25 wenzelm updated "isar-ref" manual, reduced remaining material in "ref" manual.
2012-06-21 bulwahn NEWS and CONTRIBUTORS
2012-06-06 blanchet updated NEWS
2012-06-04 boehmes restricted Z3 by default to a fragment where proof reconstruction should not fail (for better integration with Sledgehammer) -- the full set of supported Z3 features can still be used by enabling the configuration option "z3_with_extensions"
2012-05-29 bulwahn added optimisation for equational premises in Quickcheck; added some Quickcheck examples; NEWS
2012-05-24 wenzelm discontinued support for Poly/ML 5.2.1;
2012-05-23 wenzelm discontinued obsolete method fastsimp / tactic fast_simp_tac;
2012-05-23 wenzelm merged, abandoning change of src/HOL/Tools/ATP/atp_problem_generate.ML from 6ea205a4d7fd;
2012-05-02 wenzelm back to post-release mode -- after fork point;
2012-05-03 wenzelm more NEWS;
2012-05-02 wenzelm some re-ordering;
2012-05-02 wenzelm some re-ordering;
2012-05-02 wenzelm tuned spelling;
2012-05-02 huffman edit NEWS items for transfer/lifting
2012-04-30 Gerwin Klein provide [[record_codegen]] option for skipping codegen setup for records
2012-04-28 wenzelm some re-ordering;
2012-04-28 wenzelm updated system manual for release;
2012-04-28 haftmann less confusion in NEWS
2012-04-27 wenzelm mention tools and packages earlier;
2012-04-27 wenzelm tuned;
2012-04-27 wenzelm tuned;
2012-04-25 hoelzl sorted lemma list in NEWS
2012-04-23 wenzelm merged
2012-04-23 krauss NEWS
less more (0) -1000 -300 -100 -60 tip