NEWS
2008-03-07 haftmann 2008-03-07 added entries
2008-03-06 wenzelm 2008-03-06 * system/system_out provides a robust way to invoke external shell commands, with propagation of interrupts (after Poly/ML 5.2);
2008-03-06 wenzelm 2008-03-06 removed obsolete THIS_IS_ISABELLE_BUILD;
2008-03-05 wenzelm 2008-03-05 indexing literal facts: exclude background context;
2008-03-05 krauss 2008-03-05 NEWS: RBTs, renamings in ZF
2008-03-01 wenzelm 2008-03-01 added @{const} antiquotation;
2008-02-28 wenzelm 2008-02-28 Transitive_Closure: induct and cases rules now declare proper case_names; tuned;
2008-02-26 haftmann 2008-02-26 added accidental omissions
2008-02-17 huffman 2008-02-17 New simpler representation of numerals, using Bit0 and Bit1 instead of BIT, B0, and B1
2008-02-15 haftmann 2008-02-15 <= and < on nat no longer depend on wellfounded relations
2008-02-06 haftmann 2008-02-06 locales ACf, ACIf, ACIfSL and ACIfSLlin have been abandoned in favour of the existing algebraic classes ab_semigroup_mult, ab_semigroup_idem_mult, lower_semilattice (resp. uper_semilattice) and linorder
2008-01-30 haftmann 2008-01-30 Theorem Inductive.lfp_ordinal_induct generalized to complete lattices
2008-01-28 wenzelm 2008-01-28 * Outer syntax: string tokens no longer admit escaped white space;
2008-01-27 wenzelm 2008-01-27 use_thy: do not set implicit ML context anymore;
2008-01-25 wenzelm 2008-01-25 tuned;
2008-01-25 wenzelm 2008-01-25 * Default settings: PROOFGENERAL_OPTIONS no longer impose xemacs here;
2008-01-25 haftmann 2008-01-25 moved definition of power on ints to theory Int
2008-01-22 haftmann 2008-01-22 added class semiring_div
2008-01-15 haftmann 2008-01-15 joined theories IntDef, Numeral, IntArith to theory Int
2008-01-14 nipkow 2008-01-14 *** empty log message ***
2008-01-06 wenzelm 2008-01-06 * Rudimentary Isabelle plugin for jEdit;
2008-01-02 wenzelm 2008-01-02 tuned;
2008-01-02 wenzelm 2008-01-02 Multithreading.max_threads := 0 refers to number of cores of underlying machine;
2008-01-02 haftmann 2008-01-02 split of class uminus
2007-12-20 wenzelm 2007-12-20 ``print mode'' is now a thread-local value derived from a global template;
2007-12-20 wenzelm 2007-12-20 * Metis prover an order of magnitude faster, works with multithreading.
2007-12-19 haftmann 2007-12-19 instantiation target
2007-12-19 schirmer 2007-12-19 replaced K_record by lambda term %x. c
2007-12-17 krauss 2007-12-17 spread NEWS about "induction_scheme" method
2007-12-15 wenzelm 2007-12-15 tuned;
2007-12-15 wenzelm 2007-12-15 * isatool browser now works with Cygwin; * isabelle-process: non-ML sessions are run with "nice"; * JVM class isabelle.IsabelleProcess (in Isabelle/lib/classes);
2007-12-14 wenzelm 2007-12-14 * isatool tty runs Isabelle process with plain tty interaction;
2007-12-12 haftmann 2007-12-12 tuned
2007-12-11 haftmann 2007-12-11 tuned
2007-12-07 wenzelm 2007-12-07 (alt)string: allow explicit character codes (as in ML);
2007-12-06 haftmann 2007-12-06 added new primrec package
2007-12-04 wenzelm 2007-12-04 \<chi> is now considered a letter; tuned;
2007-11-30 haftmann 2007-11-30 adjustions to due to instance target
2007-11-30 nipkow 2007-11-30 *** empty log message ***
2007-11-29 haftmann 2007-11-29 instance command as rudimentary class target
2007-11-26 wenzelm 2007-11-26 moved new NEWS from Isabelle2007 to this Isabelle version'';
2007-11-23 haftmann 2007-11-23 deleted card definition as code lemma; authentic syntax for card
2007-11-20 wenzelm 2007-11-20 tuned spacing;
2007-11-15 wenzelm 2007-11-15 cover ISABELLE_IDENTIFIER;
2007-11-13 wenzelm 2007-11-13 tuned;
2007-11-12 schirmer 2007-11-12 fixed typo;
2007-11-11 wenzelm 2007-11-11 * HOL-Statespace;
2007-10-26 haftmann 2007-10-26 tuned
2007-10-26 krauss 2007-10-26 added NEWS entry for function package
2007-10-25 haftmann 2007-10-25 tuned
2007-10-24 wenzelm 2007-10-24 tuned file names etc.;
2007-10-24 haftmann 2007-10-24 tuned
2007-10-22 wenzelm 2007-10-22 tuned Nominal entry;
2007-10-22 wenzelm 2007-10-22 added @{sort}, @{type_syntax} antiquotations;
2007-10-21 wenzelm 2007-10-21 misc tuning;
2007-10-21 urbanc 2007-10-21 tuned the entry about nominal datatypes
2007-10-18 haftmann 2007-10-18 localized mono predicate
2007-10-16 haftmann 2007-10-16 global class syntax
2007-10-15 wenzelm 2007-10-15 more on authentic syntax;
2007-10-15 wenzelm 2007-10-15 updated method "ferrack";