NEWS
2011-08-10 huffman 2011-08-10 more uniform naming scheme for finite cartesian product type and related theorems
2011-08-09 haftmann 2011-08-09 more uniform naming scheme for Inf/INF and Sup/SUP lemmas
2011-08-09 haftmann 2011-08-09 merged
2011-08-08 haftmann 2011-08-08 dropped lemmas (Inf|Sup)_(singleton|binary)
2011-08-08 huffman 2011-08-08 rename type 'a net to 'a filter, following standard mathematical terminology
2011-08-04 haftmann 2011-08-04 NEWS
2011-08-03 bulwahn 2011-08-03 NEWS
2011-08-02 huffman 2011-08-02 Extended_Nat.thy: renamed iSuc to eSuc, standardized theorem names
2011-08-02 huffman 2011-08-02 NEWS: fix typo
2011-08-02 krauss 2011-08-02 NEWS
2011-07-25 haftmann 2011-07-25 merged
2011-07-24 haftmann 2011-07-24 more coherent structure in and across theories
2011-07-25 bulwahn 2011-07-25 NEWS
2011-07-20 haftmann 2011-07-20 class complete_linorder
2011-07-18 haftmann 2011-07-18 avoid misunderstandable names
2011-07-17 haftmann 2011-07-17 more on complement
2011-07-17 haftmann 2011-07-17 more consistent theorem names
2011-07-17 haftmann 2011-07-17 further generalization from sets to complete lattices
2011-07-13 haftmann 2011-07-13 uniqueness lemmas for bot and top
2011-07-13 haftmann 2011-07-13 adjusted to tightened specification of classes bot and top
2011-07-11 wenzelm 2011-07-11 NEWS;
2011-07-10 wenzelm 2011-07-10 merged;
2011-07-10 bulwahn 2011-07-10 improved NEWS
2011-07-09 bulwahn 2011-07-09 NEWS
2011-07-10 wenzelm 2011-07-10 inner syntax supports inlined YXML according to Term_XML (particularly useful for producing text under program control); tuned signature;
2011-07-08 wenzelm 2011-07-08 discontinued special treatment of hard tabulators;
2011-07-01 blanchet 2011-07-01 update documentation after "type_enc" renaming + fixed a few other out-of-date factlets
2011-07-01 bulwahn 2011-07-01 adding a minimalistic documentation of the value antiquotation in the Isar reference manual
2011-06-27 wenzelm 2011-06-27 merged
2011-06-27 blanchet 2011-06-27 minor Sledgehammer news
2011-06-27 blanchet 2011-06-27 document changes to Sledgehammer and "try"
2011-06-27 wenzelm 2011-06-27 NEWS;
2011-06-23 ballarin 2011-06-23 Release notes should be written from the user's perspective. Don't assume the user has universal knowledge of the system.
2011-06-09 bulwahn 2011-06-09 NEWS
2011-06-07 blanchet 2011-06-07 obsoleted "metisFT", and added "no_types" version of Metis as fallback to Sledgehammer after noticing how useful it can be
2011-06-06 blanchet 2011-06-06 marked "metisF" as legacy -- nobody uses it or needs it
2011-05-20 wenzelm 2011-05-20 added Isabelle_Process.is_active; tuned signature;
2011-05-20 haftmann 2011-05-20 NEWS
2011-05-18 bulwahn 2011-05-18 NEWS
2011-05-15 wenzelm 2011-05-15 NEWS (cf. 4e8483cc2cc5);
2011-05-14 haftmann 2011-05-14 use pointfree characterisation for fold_set locale
2011-05-13 wenzelm 2011-05-13 proper Proof.context for classical tactics; reduced claset to snapshot of classical context; discontinued clasimpset;
2011-05-12 blanchet 2011-05-12 renamed "max_mono_instances" to "max_new_mono_instances" and changed its semantics accordingly
2011-05-12 blanchet 2011-05-12 added "max_mono_instances" option to Sledgehammer and renamed old "monomorphize_limit" option
2011-05-05 wenzelm 2011-05-05 tuned;
2011-05-03 wenzelm 2011-05-03 more conventional naming scheme: names_long, names_short, names_unique;
2011-05-03 wenzelm 2011-05-03 some documentation of @{rail} antiquotation;
2011-05-02 wenzelm 2011-05-02 NEWS;
2011-05-01 blanchet 2011-05-01 document new type system syntax
2011-05-01 wenzelm 2011-05-01 localized \isabellestyle;
2011-04-28 wenzelm 2011-04-28 literal facts `prop` may contain dummy patterns;
2011-04-27 wenzelm 2011-04-27 predefined LaTeX macros for \<bind> and \<then>;
2011-04-19 wenzelm 2011-04-19 slightly more special eq_list/eq_set, with shortcut involving pointer_eq;
2011-04-16 wenzelm 2011-04-16 refined PARALLEL_GOALS;
2011-04-16 wenzelm 2011-04-16 modernized structure Proof_Context;
2011-04-16 wenzelm 2011-04-16 Name_Space: proper configuration options long_names, short_names, unique_names instead of former unsynchronized references;
2011-04-08 wenzelm 2011-04-08 discontinued special treatment of structure Lexicon;
2011-04-08 wenzelm 2011-04-08 explicit structure Syntax_Trans; discontinued old-style constrainAbsC;
2011-04-06 wenzelm 2011-04-06 typed_print_translation: discontinued show_sorts argument;
2011-04-05 wenzelm 2011-04-05 merged