NEWS
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";
2007-10-12 haftmann 2007-10-12 moved class power to theory Power
2007-10-12 haftmann 2007-10-12 class div inherits from class times
2007-10-10 wenzelm 2007-10-10 added 'no_notation';
2007-10-09 wenzelm 2007-10-09 tuned;
2007-10-09 wenzelm 2007-10-09 generic Syntax.pretty/string_of operations;
2007-10-07 wenzelm 2007-10-07 * Basic Isabelle mode for jEdit.
2007-10-06 wenzelm 2007-10-06 simplified interfaces for outer syntax;
2007-10-05 wenzelm 2007-10-05 tuned induct etc.;
2007-10-01 wenzelm 2007-10-01 added auto_quickcheck feature;
2007-10-01 wenzelm 2007-10-01 misc tuning and update;
2007-10-01 wenzelm 2007-10-01 misc tuning and update;
2007-09-26 wenzelm 2007-09-26 tuned;
2007-09-26 wenzelm 2007-09-26 tuned;
2007-09-26 wenzelm 2007-09-26 tuned;
2007-09-26 wenzelm 2007-09-26 * Pure/Isar: unified specification syntax admits type inference and dummy patterns; print mode: no_abbrevs;
2007-09-25 wenzelm 2007-09-25 * Pure/Syntax: generic interfaces for parsing and type checking; tuned;