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