NEWS
Tue, 03 Aug 2010 16:33:11 +0200 wenzelm theory loading: only the master source file is looked-up in the implicit load path;
Sat, 31 Jul 2010 23:32:05 +0200 ballarin Documentation of 'interpret' updated.
Thu, 22 Jul 2010 22:31:20 +0200 wenzelm discontinued special treatment of ML files -- no longer complete extensions on demand;
Wed, 21 Jul 2010 15:02:51 +0200 wenzelm ML antiquotations @{theory} and @{theory_ref} refer to the theory ancestry, not any accidental theory loader state;
Wed, 14 Jul 2010 14:53:44 +0200 haftmann export_code without file prints to standard output
Wed, 07 Jul 2010 08:25:22 +0200 bulwahn added NEWS entry
Fri, 02 Jul 2010 10:47:50 +0200 haftmann fixed spelling
Thu, 01 Jul 2010 16:55:05 +0200 haftmann "prod" and "sum" replace "*" and "+" respectively; qualified constants Set.member and Set.Collect
Thu, 01 Jul 2010 10:57:19 +0200 hoelzl Updated NEWS
Tue, 29 Jun 2010 07:55:18 +0200 haftmann merged
Mon, 28 Jun 2010 15:32:06 +0200 haftmann dropped ancient infix mem; refined code generation operations in List.thy
Mon, 28 Jun 2010 15:03:07 +0200 haftmann merged constants "split" and "prod_case"
Fri, 25 Jun 2010 11:48:37 +0200 wenzelm explicit treatment of UTF8 sequences as Isabelle symbols;
Mon, 21 Jun 2010 17:41:57 +0200 wenzelm merged, resolving conflicts in doc-src/IsarRef/Thy/HOL_Specific.thy;
Tue, 15 Jun 2010 14:28:22 +0200 haftmann added code_simp infrastructure
Tue, 15 Jun 2010 07:42:48 +0200 haftmann merged
Mon, 14 Jun 2010 12:01:30 +0200 haftmann NEWS
Mon, 14 Jun 2010 15:10:36 +0200 haftmann removed simplifier congruence rule of "prod_case"
Thu, 10 Jun 2010 12:24:01 +0200 haftmann qualified type "*"; qualified constants Pair, fst, snd, split
Tue, 08 Jun 2010 16:37:19 +0200 haftmann qualified types "+" and nat; qualified constants Ball, Bex, Suc, curry; modernized some specifications
Mon, 07 Jun 2010 17:39:32 +0200 wenzelm back to non-release mode;
Mon, 21 Jun 2010 11:24:19 +0200 wenzelm final tuning; Isabelle2009-2
Fri, 11 Jun 2010 13:25:28 +0200 wenzelm NEWS: IsabelleText font;
Mon, 07 Jun 2010 17:52:30 +0200 berghofe Documented changes in induct, cases, and nominal_induct method.
Mon, 07 Jun 2010 11:42:32 +0200 wenzelm more NEWS;
Mon, 07 Jun 2010 11:27:08 +0200 wenzelm more NEWS;
Fri, 04 Jun 2010 16:02:46 +0200 krauss NEWS (more strict internal axioms/defs format)
Fri, 04 Jun 2010 11:30:46 +0200 wenzelm spelling;
Thu, 03 Jun 2010 22:17:36 +0200 wenzelm diagnostic commands 'ML_val' and 'ML_command' may refer to antiquotations @{Isar.state} and @{Isar.goal};
Thu, 03 Jun 2010 16:39:50 +0200 krauss clarified
Thu, 03 Jun 2010 16:39:05 +0200 krauss mention unconstrain in NEWS
Wed, 02 Jun 2010 21:53:03 +0200 wenzelm improved parallelism of proof term normalization;
Tue, 01 Jun 2010 17:52:19 +0200 blanchet merged
Tue, 01 Jun 2010 17:52:00 +0200 blanchet update NEWS
Tue, 01 Jun 2010 15:38:47 +0200 blanchet removed "nitpick_intro" attribute -- Nitpick noew uses Spec_Rules instead
Tue, 01 Jun 2010 12:20:08 +0200 blanchet added "atoms" option to Nitpick (request from Karlsruhe) + wrap Refute. functions to "nitpick_util.ML"
Mon, 31 May 2010 22:08:40 +0200 wenzelm notes on Isabelle/jEdit;
Mon, 31 May 2010 21:06:57 +0200 wenzelm modernized some structure names, keeping a few legacy aliases;
Thu, 27 May 2010 21:37:42 +0200 wenzelm merged
Thu, 27 May 2010 16:30:26 +0200 boehmes merged
Thu, 27 May 2010 14:54:13 +0200 boehmes moved SMT into the HOL image
Thu, 27 May 2010 18:10:37 +0200 wenzelm renamed structure PrintMode to Print_Mode, keeping the old name as legacy alias for some time;
Thu, 27 May 2010 17:41:27 +0200 wenzelm renamed structure TypeInfer to Type_Infer, keeping the old name as legacy alias for some time;
Thu, 27 May 2010 15:28:23 +0200 wenzelm misc updates for release;
Thu, 27 May 2010 15:15:20 +0200 wenzelm constant Rat.normalize needs to be qualified;
Sat, 22 May 2010 17:44:12 -0700 huffman NEWS: removed fixrec_simp attribute
Thu, 20 May 2010 16:35:52 +0200 haftmann turned old-style mem into an input abbreviation
Tue, 18 May 2010 19:00:55 -0700 huffman remove several redundant lemmas about floor and ceiling
Tue, 18 May 2010 00:01:51 +0200 wenzelm merged
Mon, 17 May 2010 10:58:58 +0200 haftmann dropped old Library/Word.thy and toy example ex/Adder.thy
Tue, 18 May 2010 00:01:03 +0200 wenzelm do not open Legacy by default;
Mon, 17 May 2010 15:11:25 +0200 wenzelm renamed structure OuterLex to Token and type token to Token.T, keeping legacy aliases for some time;
Sat, 15 May 2010 23:40:00 +0200 wenzelm renamed structure OuterSyntax to Outer_Syntax, keeping the old name as alias for some time;
Sat, 15 May 2010 23:32:15 +0200 wenzelm renamed structure SpecParse to Parse_Spec, keeping the old name as alias for some time;
Sat, 15 May 2010 22:24:25 +0200 wenzelm renamed structure OuterKeyword to Keyword and OuterParse to Parse, keeping the old names as legacy aliases for some time;
Fri, 14 May 2010 23:32:48 +0200 blanchet added some Sledgehammer news
Fri, 14 May 2010 23:16:33 +0200 blanchet document Nitpick changes
Thu, 13 May 2010 14:34:05 +0200 nipkow Multiset: renamed, added and tuned lemmas;
Wed, 12 May 2010 13:34:24 +0200 wenzelm minor tuning;
Wed, 12 May 2010 13:21:23 +0200 wenzelm reverted parts of 7902dc7ea11d -- note that NEWS of published Isabelle releases are essentially read-only;
less more (0) -1000 -300 -100 -60 tip