NEWS
Mon, 03 Sep 2012 11:09:25 +0200 wenzelm "isabelle logo" produces EPS and PDF format simultaneously;
Wed, 29 Aug 2012 20:16:22 +0200 wenzelm provide polyml-5.4.1 as regular component;
Wed, 29 Aug 2012 11:48:45 +0200 wenzelm renamed Position.str_of to Position.here;
Tue, 28 Aug 2012 17:17:25 +0200 blanchet updated NEWS and CONTRIBUTORS
Mon, 27 Aug 2012 16:10:54 +0200 wenzelm clarified "isabelle logo";
Wed, 22 Aug 2012 22:47:16 +0200 wenzelm 'ML_file' evaluates ML text from a file directly within the theory, without predeclaration via 'uses';
Fri, 17 Aug 2012 17:35:07 +0200 wenzelm some explanations on isabelle components;
Tue, 14 Aug 2012 11:43:08 +0200 wenzelm support for 'typ' with explicit sort constraint;
Wed, 08 Aug 2012 14:45:40 +0200 wenzelm discontinued obsolete "isabelle makeall";
Tue, 07 Aug 2012 23:43:05 +0200 wenzelm discontinued obsolete IsaMakefile and ROOT.ML files from the Isabelle distribution;
Mon, 06 Aug 2012 16:05:29 +0200 wenzelm "isabelle options" prints Isabelle system options;
Sun, 05 Aug 2012 20:11:32 +0200 wenzelm more on isabelle mkroot;
Fri, 03 Aug 2012 12:37:31 +0200 wenzelm simplified custom document/build script, instead of old-style document/IsaMakefile;
Tue, 31 Jul 2012 16:23:20 +0200 wenzelm document variant NAME may use different LaTeX entry point document/root_NAME.tex if that file exists;
Sat, 28 Jul 2012 20:18:15 +0200 wenzelm discontinued obsolete Isabelle/build script;
Sat, 28 Jul 2012 20:12:47 +0200 wenzelm announce advanced support for Isabelle sessions and build management;
Sat, 28 Jul 2012 13:11:58 +0200 wenzelm discontinued special treatment of Proof General;
Mon, 23 Jul 2012 09:28:03 +0200 haftmann restrict unqualified imports from Haskell Prelude to a small set of fundamental operations
Sun, 22 Jul 2012 10:00:51 +0200 haftmann NEWS
Fri, 20 Jul 2012 22:19:46 +0200 blanchet added MaSh to news
Thu, 19 Jul 2012 22:21:59 +0200 haftmann export code relatively to master directory
Wed, 18 Jul 2012 08:44:04 +0200 blanchet removed lie
Wed, 18 Jul 2012 08:44:03 +0200 blanchet doc updates
Fri, 06 Jul 2012 16:31:37 +0200 wenzelm tuned;
Fri, 06 Jul 2012 16:20:54 +0200 wenzelm discontinued obsolete attribute "COMP";
Fri, 29 Jun 2012 15:45:50 +0200 wenzelm default for \<euro> is now based on eurosym package, instead of slightly exotic babel/greek (which causes problems with the Gentoo installation on lxbroy2);
Mon, 25 Jun 2012 11:07:51 +0200 wenzelm updated "isar-ref" manual, reduced remaining material in "ref" manual.
Thu, 21 Jun 2012 13:51:44 +0200 bulwahn NEWS and CONTRIBUTORS
Wed, 06 Jun 2012 10:35:05 +0200 blanchet updated NEWS
Mon, 04 Jun 2012 09:07:23 +0200 boehmes restricted Z3 by default to a fragment where proof reconstruction should not fail (for better integration with Sledgehammer) -- the full set of supported Z3 features can still be used by enabling the configuration option "z3_with_extensions"
Tue, 29 May 2012 13:46:50 +0200 bulwahn added optimisation for equational premises in Quickcheck; added some Quickcheck examples; NEWS
Thu, 24 May 2012 15:01:17 +0200 wenzelm discontinued support for Poly/ML 5.2.1;
Wed, 23 May 2012 16:22:27 +0200 wenzelm discontinued obsolete method fastsimp / tactic fast_simp_tac;
Wed, 23 May 2012 12:02:27 +0200 wenzelm merged, abandoning change of src/HOL/Tools/ATP/atp_problem_generate.ML from 6ea205a4d7fd;
Wed, 02 May 2012 22:05:59 +0200 wenzelm back to post-release mode -- after fork point;
Thu, 03 May 2012 22:07:29 +0200 wenzelm more NEWS;
Wed, 02 May 2012 20:43:57 +0200 wenzelm some re-ordering;
Wed, 02 May 2012 20:31:15 +0200 wenzelm some re-ordering;
Wed, 02 May 2012 20:15:31 +0200 wenzelm tuned spelling;
Wed, 02 May 2012 17:23:41 +0200 huffman edit NEWS items for transfer/lifting
Mon, 30 Apr 2012 22:18:39 +1000 Gerwin Klein provide [[record_codegen]] option for skipping codegen setup for records
Sat, 28 Apr 2012 18:09:50 +0200 wenzelm some re-ordering;
Sat, 28 Apr 2012 17:54:50 +0200 wenzelm updated system manual for release;
Sat, 28 Apr 2012 10:03:46 +0200 haftmann less confusion in NEWS
Fri, 27 Apr 2012 21:24:30 +0200 wenzelm mention tools and packages earlier;
Fri, 27 Apr 2012 21:13:55 +0200 wenzelm tuned;
Fri, 27 Apr 2012 21:02:34 +0200 wenzelm tuned;
Wed, 25 Apr 2012 14:28:13 +0200 hoelzl sorted lemma list in NEWS
Mon, 23 Apr 2012 22:22:57 +0200 wenzelm merged
Mon, 23 Apr 2012 21:31:52 +0200 krauss NEWS
Mon, 23 Apr 2012 21:53:43 +0200 wenzelm typedef with implicit set definition is considered legacy;
Mon, 23 Apr 2012 12:14:35 +0200 hoelzl reworked Probability theory
Sun, 22 Apr 2012 16:33:41 +0200 wenzelm merged
Sun, 22 Apr 2012 14:16:46 +0200 blanchet fixed typos
Sun, 22 Apr 2012 14:30:18 +0200 wenzelm USER_HOME settings variable points to cross-platform user home directory;
Sat, 21 Apr 2012 21:38:08 +0200 huffman update NEWS for transfer/quotient
Sat, 21 Apr 2012 13:54:29 +0200 huffman NEWS for transfer, lifting, and quotient
Fri, 20 Apr 2012 11:17:01 +0200 hoelzl NEWS
Thu, 19 Apr 2012 23:18:47 +0200 wenzelm merged
Thu, 19 Apr 2012 22:21:15 +0200 hoelzl NEWS
less more (0) -1000 -300 -100 -60 tip