NEWS
Wed, 27 Mar 2013 22:36:03 +0100 ballarin Improvements to the print_dependencies command.
Wed, 27 Mar 2013 16:38:25 +0100 wenzelm more ambitious Goal.skip_proofs: covers Goal.prove forms as well, and do not insist in quick_and_dirty (for the sake of Isabelle/jEdit);
Wed, 27 Mar 2013 14:19:18 +0100 wenzelm tuned signature and module arrangement;
Tue, 26 Mar 2013 11:26:13 +0100 wenzelm dockable window for timing information;
Mon, 25 Mar 2013 20:00:27 +0100 ballarin Discontinued theories src/HOL/Algebra/abstract and .../poly.
Sat, 23 Mar 2013 20:57:57 +0100 haftmann spelling
Sat, 23 Mar 2013 20:50:39 +0100 haftmann fundamental revision of big operators on sets
Sat, 23 Mar 2013 17:11:06 +0100 haftmann locales for abstract orders
Wed, 13 Mar 2013 15:12:14 +0100 wenzelm sessions may be organized via 'chapter' in ROOT;
Tue, 12 Mar 2013 16:47:24 +0100 wenzelm discontinued "isabelle usedir" option -r (reset session path);
Mon, 11 Mar 2013 14:25:14 +0100 wenzelm discontinued "isabelle usedir" option -P (remote path);
Sat, 09 Mar 2013 11:56:01 +0100 haftmann discontinued theory src/HOL/Library/Eval_Witness -- assumptions do not longer hold in presence of abstract types
Thu, 28 Feb 2013 17:38:35 +0100 wenzelm discontinued empty name bindings in 'axiomatization';
Thu, 28 Feb 2013 16:38:17 +0100 wenzelm discontinued obsolete 'axioms' command;
Wed, 27 Feb 2013 17:32:17 +0100 wenzelm discontinued redundant 'use' command;
Wed, 27 Feb 2013 12:45:19 +0100 wenzelm discontinued obsolete 'uses' within theory header;
Fri, 22 Feb 2013 14:25:52 +0100 wenzelm discontinued obsolete src/HOL/IsaMakefile;
Sat, 16 Feb 2013 08:21:08 +0100 haftmann restored proper order of NEWS entries (lost due too long-waiting patches)
Fri, 15 Feb 2013 08:31:31 +0100 haftmann two target language numeral types: integer and natural, as replacement for code_numeral;
Fri, 15 Feb 2013 09:17:20 +0100 blanchet updated news
Thu, 14 Feb 2013 14:14:55 +0100 haftmann consolidation of library theories on product orders
Wed, 13 Feb 2013 11:46:48 +0100 wenzelm merged;
Sun, 10 Feb 2013 14:57:00 +0100 wenzelm updated PIDE notes;
Mon, 28 Jan 2013 12:22:48 +0100 wenzelm tuned;
Sat, 26 Jan 2013 13:49:48 +0100 wenzelm clarified NEWS on isabelle build and mkroot;
Fri, 25 Jan 2013 15:28:43 +0100 wenzelm tuned;
Thu, 31 Jan 2013 17:42:12 +0100 hoelzl remove unnecessary assumption from real_normed_vector
Sun, 20 Jan 2013 15:34:27 +0100 wenzelm back to post-release mode -- after fork point;
Sun, 20 Jan 2013 15:26:56 +0100 wenzelm updated for release;
Sun, 20 Jan 2013 14:00:05 +0100 wenzelm misc tuning for release;
Mon, 14 Jan 2013 14:03:24 +0100 kuncar NEWS
Fri, 11 Jan 2013 22:01:49 +0100 wenzelm more NEWS;
Wed, 09 Jan 2013 12:22:09 +0100 wenzelm tune spelling;
Tue, 08 Jan 2013 16:23:07 +0100 wenzelm allow negative argument in "consumes" source format;
Fri, 04 Jan 2013 21:24:47 +0100 wenzelm merged
Fri, 04 Jan 2013 21:16:08 +0100 wenzelm more reactive completion popup by default;
Fri, 04 Jan 2013 19:00:49 +0100 blanchet updated docs
Fri, 04 Jan 2013 13:03:21 +0100 wenzelm more NEWS;
Fri, 04 Jan 2013 12:44:47 +0100 wenzelm document 'locale_deps';
Thu, 03 Jan 2013 14:23:10 +0100 wenzelm NEWS: ML runtime statistics;
Mon, 31 Dec 2012 13:08:37 +0100 wenzelm misc tuning for release;
Mon, 31 Dec 2012 12:25:11 +0100 wenzelm recovered Isabelle2012 NEWS from ae12b92c145a, except for e5420161d11d;
Sat, 29 Dec 2012 17:18:01 +0100 nipkow new theory Library/Finite_Lattice
Sun, 23 Dec 2012 19:54:15 +0100 nipkow renamed and added lemmas
Tue, 18 Dec 2012 21:59:44 +0100 haftmann discontinued legacy antiquotations and styles
Fri, 14 Dec 2012 15:46:01 +0100 hoelzl Remove the indexed basis from the definition of euclidean spaces and only use the set of Basis vectors
Fri, 14 Dec 2012 14:46:01 +0100 hoelzl NEWS
Fri, 14 Dec 2012 12:40:07 +0100 wenzelm merged
Thu, 13 Dec 2012 13:11:38 +0100 Christian Sternagel renamed "emb" to "list_hembeq";
Thu, 13 Dec 2012 19:53:55 +0100 wenzelm smarter handling of tracing messages: prover process pauses and enters user dialog;
Mon, 10 Dec 2012 16:06:57 +0100 wenzelm more generous tracing limit -- rescaled in MB;
Thu, 06 Dec 2012 21:46:20 +0100 wenzelm documentation for isabelle build_dialog and its implicit use in isabelle jedit;
Mon, 26 Nov 2012 19:53:43 +0100 wenzelm tuned;
Mon, 26 Nov 2012 17:13:44 +0100 wenzelm merged
Mon, 26 Nov 2012 11:46:19 +0100 blanchet updated NEWS etc.
Mon, 26 Nov 2012 13:54:43 +0100 wenzelm refined outer syntax 'help' command;
Sun, 25 Nov 2012 17:15:21 +0100 wenzelm added convenience actions isabelle.increase-font-size and isabelle.decrease-font-size;
Sat, 24 Nov 2012 15:49:43 +0100 wenzelm more NEWS/CONTRIBUTORS;
Sat, 24 Nov 2012 14:50:19 +0100 wenzelm improved editing support for control styles;
Sat, 24 Nov 2012 12:39:58 +0100 wenzelm added ISABELLE_PLATFORM_FAMILY;
less more (0) -1000 -300 -100 -60 tip