NEWS
2015-01-13 hoelzl NEWS
2015-01-06 wenzelm NEWS;
2015-01-01 boehmes merged
2015-01-01 boehmes updated NEWS
2014-12-30 wenzelm added system property isabelle.laf, notably for initial system dialog;
2014-12-30 wenzelm NEWS;
2014-12-22 wenzelm discontinued central critical sections: NAMED_CRITICAL / CRITICAL;
2014-12-22 wenzelm system option "pretty_margin" is superseded by "thy_output_margin";
2014-12-12 wenzelm Synchronized.value is actually synchronized (NB: underlying Unsynchronized.ref is not necessarily volatile);
2014-12-08 wenzelm expand ML cartouches to Input.source;
2014-12-08 haftmann NEWS
2014-11-26 wenzelm renamed "pairself" to "apply2", in accordance to @{apply 2};
2014-11-26 wenzelm added ML antiquotation @{apply n} or @{apply n(k)};
2014-11-24 blanchet updated NEWS
2014-11-13 wenzelm uniform treatment of all document markup commands: 'text' and 'txt' merely differ in LaTeX style;
2014-11-12 immler NEWS
2014-11-10 wenzelm proper context for assume_tac (atac remains as fall-back without context);
2014-11-09 wenzelm proper context for match_tac etc.;
2014-11-09 wenzelm proper context for compose_tac, Splitter.split_tac (relevant for unify trace options);
2014-11-07 wenzelm plain value Keywords.keywords, which might be used outside theory for bootstrap purposes;
2014-11-02 wenzelm added update_header tool;
2014-11-02 wenzelm uniform heading commands work in any context, even in theory header;
2014-11-01 wenzelm command-line terminator ";" is no longer accepted;
2014-10-31 wenzelm discontinued Isar TTY loop;
2014-10-31 wenzelm discontinued Proof General;
2014-10-28 wenzelm 'notepad' requires proper nesting of begin/end;
2014-10-26 wenzelm clarified default;
2014-10-24 hoelzl use NO_MATCH-simproc for distribution rules in field_simps, otherwise field_simps on '(a / (c + d)) * (e + f)' can be non-terminating
2014-10-24 hoelzl move NO_MATCH simproc from the AFP entry Graph_Theory to HOL
2014-10-23 haftmann downshift of theory Parity in the hierarchy
2014-10-21 wenzelm merged
2014-10-21 wenzelm NEWS;
2014-10-21 haftmann turn even into an abbreviation
2014-10-20 wenzelm official support for "tt" style variants, avoid fragile \verb in LaTeX;
2014-10-19 wenzelm NEWS;
2014-10-18 wenzelm NEWS;
2014-10-14 haftmann purely algebraic characterization of even and odd
2014-10-12 haftmann generalized and consolidated some theorems concerning divisibility
2014-10-09 haftmann more foundational definition for predicate even
2014-10-08 wenzelm added parameterized ML antiquotations @{map N}, @{fold N}, @{fold_map N}, @{split_list N};
2014-10-08 wenzelm simplified "sos" method;
2014-10-08 Andreas Lochbihler move Code_Test to HOL/Library;
2014-10-07 wenzelm added update_cartouches tool;
2014-10-06 wenzelm improved spelling of formal INCOMPATIBILITY in historic versions (!) -- to avoid ad-hoc word completion multiply such lapses;
2014-10-06 wenzelm completion for bibtex entries;
2014-10-05 wenzelm NEWS;
2014-10-04 wenzelm merged;
2014-10-04 wenzelm NEWS;
2014-10-03 wenzelm SideKick parser for bibtex entries;
2014-10-03 wenzelm context menu for bibtex entries;
2014-10-02 haftmann moved lemmas out of Int.thy which have nothing to do with int
2014-09-22 wenzelm discontinued old "xnum" token category;
2014-09-21 haftmann explicit separation of signed and unsigned numerals using existing lexical categories num and xnum
2014-09-18 blanchet updated NEWS
2014-09-18 haftmann product over monoids for lists
2014-09-12 haftmann NEWS
2014-09-11 blanchet updated news
2014-09-09 nipkow enamed drop_Suc_conv_tl and nth_drop' to Cons_nth_drop_Suc
2014-09-07 haftmann restrictive options for class dependencies
2014-09-04 blanchet updated docs
less more (0) -1000 -300 -100 -60 tip