NEWS
Fri, 01 Aug 2014 14:43:57 +0200 blanchet updated NEWS
Sun, 27 Jul 2014 15:44:08 +0200 wenzelm back to post-release mode -- after fork point;
Sun, 27 Jul 2014 15:25:00 +0200 wenzelm tuned;
Thu, 24 Jul 2014 16:21:50 +0200 wenzelm tuned spelling;
Thu, 24 Jul 2014 10:22:34 +0200 wenzelm updated NEWS according to d38a98f496dd (see also bdc2c6b40bf2);
Mon, 21 Jul 2014 16:04:45 +0200 wenzelm clarified "simp_trace_new" and corresponding isar-ref section;
Wed, 09 Jul 2014 11:35:52 +0200 blanchet tuned terminology
Sat, 05 Jul 2014 12:04:25 +0200 wenzelm misc tuning for release;
Sat, 05 Jul 2014 11:06:14 +0200 haftmann NEWS
Fri, 04 Jul 2014 20:18:47 +0200 haftmann reduced name variants for assoc and commute on plus and mult
Fri, 04 Jul 2014 16:50:57 +0200 wenzelm misc tuning for release;
Fri, 04 Jul 2014 14:52:05 +0200 wenzelm misc tuning for release;
Fri, 04 Jul 2014 11:39:34 +0200 wenzelm NEWS;
Wed, 02 Jul 2014 17:34:45 +0200 wenzelm tuned grammar and spelling (cf. 0cf15843b82f);
Tue, 01 Jul 2014 17:16:11 +0200 immler overdue NEWS concerning c4daa97ac57a
Tue, 01 Jul 2014 16:08:31 +0100 paulson for new release
Tue, 01 Jul 2014 14:52:08 +0200 wenzelm misc updates for release;
Mon, 30 Jun 2014 10:53:37 +0200 wenzelm ProofGeneral-4.2-2 is optional component (including the traditional helper scripts);
Mon, 30 Jun 2014 09:43:44 +0200 wenzelm "isabelle tty" is superseded by "isabelle console";
Mon, 30 Jun 2014 08:00:36 +0200 haftmann qualified String.explode and String.implode
Sun, 29 Jun 2014 18:28:27 +0200 blanchet killed Python version of MaSh, now that the SML version works adequately
Sat, 28 Jun 2014 22:13:23 +0200 haftmann tracing facilities for the code generator preprocessor
Sat, 28 Jun 2014 15:50:48 +0200 wenzelm updated NEWS -- removed material that is already in the manual;
Sat, 28 Jun 2014 09:16:42 +0200 haftmann fact consolidation
Fri, 27 Jun 2014 16:04:56 +0200 wenzelm command 'print_term_bindings' supersedes 'print_binds';
Fri, 27 Jun 2014 15:30:57 +0200 wenzelm removed obsolete "isabelle unsymbolize";
Wed, 18 Jun 2014 13:23:09 +0200 blanchet enabled MaSh by default -- set 'MaSh' to 'none' in Isabelle Plugin Options to disable
Fri, 13 Jun 2014 14:49:59 +0100 paulson NEWS
Fri, 13 Jun 2014 14:08:20 +0200 hoelzl properties of normal distributed random variables (by Sudeep Kanav)
Fri, 13 Jun 2014 07:05:01 +0200 nipkow announce Tree
Thu, 12 Jun 2014 17:50:49 +0200 blanchet tuning
Thu, 12 Jun 2014 17:10:12 +0200 blanchet renamed Sledgehammer options
Thu, 12 Jun 2014 17:02:03 +0200 blanchet updated docs
Thu, 12 Jun 2014 17:02:03 +0200 blanchet took out broken support for Yices from SMT2 stack -- see 'NEWS' for rationale
Wed, 11 Jun 2014 11:28:46 +0200 blanchet updated NEWS slightly
Thu, 29 May 2014 16:13:47 +0200 nipkow removed Kleene_Algebra because of superior AFP entry; authors agreed
Tue, 27 May 2014 17:32:42 +0200 blanchet don't generate discriminators and selectors for 'datatype_new' unless the user asked for it
Mon, 26 May 2014 16:32:55 +0200 blanchet got rid of '=:' squiggly
Mon, 26 May 2014 14:15:48 +0200 blanchet renamed 'MaSh' option
Sat, 24 May 2014 20:24:43 +0200 wenzelm support for regular Windows TeX installation;
Tue, 20 May 2014 22:28:44 +0200 blanchet added naive Bayes ML implementation, due to Cezary Kaliszyk (like k-NN)
Tue, 20 May 2014 22:28:08 +0200 blanchet added Isabelle system option 'mash'
Tue, 20 May 2014 16:46:42 +0200 blanchet news
Mon, 19 May 2014 14:26:58 +0200 hoelzl renamed positive_integral to nn_integral
Mon, 19 May 2014 12:04:45 +0200 hoelzl introduce Bochner integral: generalizes Lebesgue integral from real-valued function to functions on real-normed vector spaces
Thu, 15 May 2014 18:18:50 +0200 haftmann type
Tue, 13 May 2014 09:21:22 +0200 traytel bnf_decl -> bnf_axiomatization
Mon, 12 May 2014 12:38:17 +0200 wenzelm NEWS;
Fri, 09 May 2014 08:13:37 +0200 haftmann hardcoded nbe and sml into value command
Fri, 09 May 2014 08:13:36 +0200 haftmann prefer separate command for approximation
Wed, 07 May 2014 14:54:06 +0200 wenzelm NEWS;
Wed, 07 May 2014 12:25:35 +0200 hoelzl avoid the Complex constructor, use the more natural Re/Im view; moved csqrt to Complex.
Tue, 06 May 2014 16:57:17 +0200 wenzelm renamed "Find" to "Query", with more general operations;
Sun, 04 May 2014 18:57:45 +0200 blanchet renamed 'dpll_p' to 'cdclite', to avoid confusion with the old 'dpll' and to reflect the idea that the new prover implements some ideas from CDCL not in DPLL -- this follows its author's, Sascha B.'s, wish
Sun, 04 May 2014 18:53:58 +0200 blanchet added 'satx' proof method to Try0
Sun, 04 May 2014 18:14:58 +0200 blanchet renamed 'xxx_size' to 'size_xxx' for old datatype package
Sun, 04 May 2014 16:17:53 +0200 boehmes removed obsolete internal SAT solvers
Sat, 03 May 2014 22:47:43 +0200 wenzelm support for path completion based on file-system content;
Fri, 02 May 2014 23:31:25 +0200 wenzelm merged
Fri, 02 May 2014 23:30:47 +0200 wenzelm NEWS;
less more (0) -1000 -300 -100 -60 tip