NEWS
2014-02-17 wenzelm 2014-02-17 NEWS;
2014-02-17 blanchet 2014-02-17 updated NEWS
2014-02-16 blanchet 2014-02-16 folded 'rel_option' into 'option_rel'
2014-02-16 blanchet 2014-02-16 folded 'list_all2' with the relator generated by 'datatype_new'
2014-02-16 blanchet 2014-02-16 more NEWS
2014-02-12 blanchet 2014-02-12 [mq]: news
2014-02-10 wenzelm 2014-02-10 discontinued axiomatic 'classes', 'classrel', 'arities';
2014-02-04 Lars Hupel 2014-02-04 interactive simplifier trace: new panel in Isabelle/jEdit to inspect and modify simplification state
2014-02-04 blanchet 2014-02-04 removed legacy 'metisFT' method
2014-02-03 blanchet 2014-02-03 renamed 'smt' option 'smt_proofs' to avoid clash with 'smt' prover
2014-02-03 blanchet 2014-02-03 added new option to documentation
2014-01-30 blanchet 2014-01-30 renamed Sledgehammer options for symmetry between positive and negative versions
2014-01-26 wenzelm 2014-01-26 discontinued obsolete attribute "standard";
2014-01-25 wenzelm 2014-01-25 explicit eigen-context for attributes "where", "of", and corresponding read_instantiate, instantiate_tac;
2014-01-25 wenzelm 2014-01-25 NEWS for 31afce809794;
2014-01-22 wenzelm 2014-01-22 NEWS;
2014-01-22 wenzelm 2014-01-22 merged
2014-01-22 wenzelm 2014-01-22 inner syntax token language allows regular quoted strings; tuned signature;
2014-01-21 blanchet 2014-01-21 updated NEWS
2014-01-19 boehmes 2014-01-19 removed obsolete remote_cvc3 and remote_z3
2014-01-17 wenzelm 2014-01-17 clarified @{rail} syntax: prefer explicit \<newline> symbol;
2014-01-15 wenzelm 2014-01-15 added \<newline> symbol, which is used for char/string literals in HOL;
2014-01-13 wenzelm 2014-01-13 activation of Z3 via "z3_non_commercial" system option (without requiring restart);
2014-01-13 wenzelm 2014-01-13 tuned;
2014-01-12 wenzelm 2014-01-12 NEWS;
2014-01-01 wenzelm 2014-01-01 avoid unicode text, which causes problems when recoding symbols (e.g. via UTF8-Isabelle in Isabelle/jEdit);
2014-01-01 haftmann 2014-01-01 fundamental treatment of undefined vs. universally partial replaces code_abort
2013-12-30 wenzelm 2013-12-30 added system option "jedit_print_mode";
2013-12-25 haftmann 2013-12-25 abolished slightly odd global lattice interpretation for min/max
2013-12-23 haftmann 2013-12-23 NEWS
2013-12-17 immler 2013-12-17 NEWS
2013-12-15 haftmann 2013-12-15 disambiguation of interpretation prefixes
2013-12-14 wenzelm 2013-12-14 proper context for basic Simplifier operations: rewrite_rule, rewrite_goals_rule, rewrite_goals_tac etc.; clarified tool context in some boundary cases;
2013-12-12 wenzelm 2013-12-12 discontinued legacy_isub_isup;
2013-12-09 haftmann 2013-12-09 NEWS
2013-12-09 wenzelm 2013-12-09 provide @{file_unchecked} in Isabelle/Pure;
2013-12-09 wenzelm 2013-12-09 added document antiquotation @{url}, which produces formal markup for LaTeX and PIDE;
2013-12-06 wenzelm 2013-12-06 NEWS;
2013-12-06 wenzelm 2013-12-06 clarified "isabelle display" and 'display_drafts': re-use file and program instance, open asynchronously via desktop environment;
2013-12-05 wenzelm 2013-12-05 relocate NEWS to post-release version (cf. 7a14f831d02d);
2013-12-05 wenzelm 2013-12-05 merged, resolving obvious conflicts in NEWS and src/Pure/System/isabelle_process.ML;
2013-12-01 wenzelm 2013-12-01 tuned;
2013-11-30 wenzelm 2013-11-30 NEWS;
2013-11-25 wenzelm 2013-11-25 NEWS;
2013-11-21 wenzelm 2013-11-21 NEWS;
2013-11-20 wenzelm 2013-11-20 updated to Isabelle2013-2;
2013-12-05 blanchet 2013-12-05 make sure acyclicity axiom gets generated in the case where the problem involves mutually recursive datatypes
2013-12-05 Andreas Lochbihler 2013-12-05 news
2013-11-26 traytel 2013-11-26 NEWS
2013-11-25 haftmann 2013-11-25 even more precise NEWS
2013-11-20 wenzelm 2013-11-20 NEWS;
2013-11-19 haftmann 2013-11-19 more correct NEWS
2013-11-19 haftmann 2013-11-19 eliminiated neg_numeral in favour of - (numeral _)
2013-11-16 wenzelm 2013-11-16 toplevel function "use" refers to raw ML bootstrap environment;
2013-11-11 wenzelm 2013-11-11 merged, using src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML and src/HOL/Tools/Sledgehammer/sledgehammer_run.ML from 347c3b0cab44;
2013-11-09 wenzelm 2013-11-09 tuned whitespace;
2013-11-05 wenzelm 2013-11-05 no default shortcut for isabelle.reset-font-size -- avoid conflict with unsplit-current;
2013-10-30 wenzelm 2013-10-30 more on file-system access; provide ISABELLE_HOME_USER as well;
2013-10-14 wenzelm 2013-10-14 tuned;
2013-10-09 wenzelm 2013-10-09 NEWS;