NEWS
Tue, 21 Dec 2010 21:21:21 +0100 wenzelm configuration option "syntax_ast_trace" and "syntax_ast_stat";
Mon, 20 Dec 2010 16:44:33 +0100 wenzelm proper identifiers for consts and types;
Sun, 19 Dec 2010 18:38:50 -0800 huffman rename function cprod_map to prod_map
Sun, 19 Dec 2010 18:10:54 -0800 huffman fix typo
Sun, 19 Dec 2010 06:34:41 -0800 huffman type 'defl' takes a type parameter again (cf. b525988432e9)
Sun, 19 Dec 2010 05:15:31 -0800 huffman reintroduce 'bifinite' class, now with existentially-quantified approx function (cf. b525988432e9)
Fri, 17 Dec 2010 18:10:37 +0100 wenzelm Command 'type_synonym' (with single argument) supersedes 'types' (legacy feature);
Fri, 17 Dec 2010 17:43:54 +0100 wenzelm replaced command 'nonterminals' by slightly modernized version 'nonterminal';
Fri, 17 Dec 2010 17:08:56 +0100 wenzelm renamed structure MetaSimplifier to raw_Simplifer, to emphasize its meaning;
Wed, 08 Dec 2010 14:52:23 +0100 haftmann NEWS
Mon, 06 Dec 2010 13:43:05 -0800 huffman merged
Mon, 06 Dec 2010 11:22:42 -0800 huffman remove lemma cont_cfun;
Mon, 06 Dec 2010 10:08:33 -0800 huffman rename lub_fun -> is_lub_fun, thelub_fun -> lub_fun
Fri, 03 Dec 2010 15:25:14 +0100 hoelzl it is known as the extended reals, not the infinite reals
Mon, 06 Dec 2010 16:37:15 +0100 wenzelm more correct NEWS;
Sun, 05 Dec 2010 15:23:33 +0100 wenzelm IsabelleText font: include Cyrillic, Hebrew, Arabic from DejaVu Sans 2.32;
Sun, 05 Dec 2010 14:02:16 +0100 wenzelm command 'notepad' replaces former 'example_proof';
Sat, 04 Dec 2010 18:41:12 +0100 wenzelm added Syntax.default_root;
Sat, 04 Dec 2010 14:57:04 +0100 wenzelm added Syntax.pretty_priority;
Fri, 03 Dec 2010 22:08:14 +0100 wenzelm minor tuning for release;
Fri, 03 Dec 2010 21:34:54 +0100 wenzelm source files are always encoded as UTF-8;
Fri, 03 Dec 2010 17:59:13 +0100 wenzelm setup subtyping/coercions once in HOL.thy, but enable it only later via configuration option;
Fri, 03 Dec 2010 09:58:32 +0100 bulwahn NEWS
Thu, 02 Dec 2010 16:52:52 +0100 wenzelm configuration option "show_abbrevs" supersedes print mode "no_abbrevs", with inverted meaning;
Thu, 02 Dec 2010 16:04:22 +0100 wenzelm renamed trace_simp to simp_trace, and debug_simp to simp_debug;
Thu, 02 Dec 2010 08:34:23 +0100 nipkow coercions
Wed, 01 Dec 2010 19:33:49 +0100 hoelzl Updated NEWS
Wed, 01 Dec 2010 11:45:37 +0100 haftmann NEWS
Tue, 30 Nov 2010 15:58:21 +0100 haftmann merged
Mon, 29 Nov 2010 13:44:54 +0100 haftmann equivI has replaced equiv.intro
Mon, 29 Nov 2010 11:22:40 +0100 wenzelm added document antiquotation @{file};
Sun, 28 Nov 2010 13:58:29 +0100 wenzelm recovered Isabelle2009-2 NEWS -- published part is read-only;
Sat, 27 Nov 2010 13:12:10 -0800 huffman renamed several HOLCF theorems (listed in NEWS)
Fri, 26 Nov 2010 23:41:23 +0100 wenzelm merged
Fri, 26 Nov 2010 22:36:55 +0100 blanchet document changes in Nitpick and MESON/Metis
Fri, 26 Nov 2010 22:29:41 +0100 wenzelm make two copies (!) of Library.UnequalLengths coincide with ListPair.UnequalLengths;
Fri, 26 Nov 2010 14:19:16 +0100 wenzelm more correct spelling;
Fri, 26 Nov 2010 12:03:17 +0100 haftmann globbing constant expressions use more idiomatic underscore rather than star;
Mon, 22 Nov 2010 10:34:33 +0100 hoelzl Replace surj by abbreviation; remove surj_on.
Wed, 24 Nov 2010 10:23:52 +0100 bulwahn announcing some latest change (d40b347d5b0b)
Mon, 22 Nov 2010 17:49:12 +0100 haftmann merged
Mon, 22 Nov 2010 17:46:51 +0100 haftmann replaced misleading Fset/fset name -- these do not stand for finite sets
Mon, 22 Nov 2010 10:41:56 +0100 bulwahn renaming quickcheck generator code to random
Sat, 20 Nov 2010 00:53:26 +0100 wenzelm renamed raw "explode" function to "raw_explode" to emphasize its meaning;
Fri, 19 Nov 2010 09:07:23 -0800 huffman merged
Wed, 17 Nov 2010 12:19:19 -0800 huffman accumulated NEWS updates for HOLCF
Thu, 18 Nov 2010 18:12:03 +0100 blanchet mention Sledgehammer with SMT
Wed, 17 Nov 2010 09:22:23 +0100 boehmes require the b2i file ending in the boogie_open command (for consistency with the theory header)
Mon, 08 Nov 2010 12:13:44 +0100 boehmes better modularization: moved SMT configuration options and diagnostics as well as SMT failure and exception into separate structures (both of which are loaded first and consequently are available to other SMT structures)
Sat, 06 Nov 2010 00:10:32 +0100 krauss abolished obscure goal variant of [split_format] -- unused (cf. d1c14898fd04), unrelated to '(complete)' variant, and not at all canonical
Fri, 05 Nov 2010 23:19:20 +0100 wenzelm moved ISABELLE_IDENTIFIER from ISABELLE_OUTPUT further up to ISABELLE_HOME_USER;
Thu, 04 Nov 2010 09:54:16 +0100 haftmann merged
Wed, 03 Nov 2010 12:20:33 +0100 haftmann Theory Multiset provides stable quicksort implementation of sort_key.
Wed, 03 Nov 2010 22:26:53 +0100 blanchet standardize on seconds for Nitpick and Sledgehammer timeouts
Wed, 03 Nov 2010 11:33:51 +0100 wenzelm discontinued obsolete function sys_error and exception SYS_ERROR;
Sun, 31 Oct 2010 11:45:45 +0100 nipkow merged
Fri, 29 Oct 2010 17:57:36 +0200 nipkow Plus -> Sum_Type.Plus
Sat, 30 Oct 2010 21:08:20 +0200 wenzelm support for real valued preferences;
Sat, 30 Oct 2010 16:33:58 +0200 wenzelm support for real valued configuration options;
Fri, 29 Oct 2010 11:07:21 +0200 wenzelm merged
less more (0) -1000 -300 -100 -60 tip