NEWS
Thu, 31 Oct 2013 11:44:20 +0100 haftmann moving generic lemmas out of theory parity, disregarding some unused auxiliary lemmas;
Thu, 03 Oct 2013 19:01:10 +0200 wenzelm back to post-release mode -- after fork point;
Thu, 03 Oct 2013 00:39:16 +0200 ballarin Streamlined locales reference material.
Wed, 02 Oct 2013 17:08:39 +0200 wenzelm tuned;
Wed, 02 Oct 2013 16:56:02 +0200 wenzelm misc tuning for release;
Wed, 02 Oct 2013 15:53:20 +0200 traytel NEWS and CONTRIBUTORS
Wed, 02 Oct 2013 10:13:54 +0300 kuncar NEWS and CONTRIBUTORS
Tue, 01 Oct 2013 14:29:27 +0200 blanchet minor textual changes
Sun, 29 Sep 2013 12:56:50 +0200 wenzelm tuned;
Sun, 29 Sep 2013 12:44:40 +0200 wenzelm more on text completion;
Sat, 28 Sep 2013 16:10:26 +0200 wenzelm misc tuning for release;
Sat, 28 Sep 2013 14:36:04 +0200 wenzelm uniform $ISABELLE_HOME on all platforms;
Wed, 25 Sep 2013 16:29:35 +0200 wenzelm updated documentation concerning MacOSX plugin 1.3;
Tue, 24 Sep 2013 20:24:14 +0200 wenzelm NEWS;
Mon, 23 Sep 2013 14:53:43 +0200 blanchet document "spy"
Mon, 23 Sep 2013 14:53:43 +0200 blanchet document "spy" option
Fri, 20 Sep 2013 22:39:30 +0200 blanchet updated NEWS
Thu, 19 Sep 2013 18:59:28 +0200 blanchet updated NEWS
Thu, 19 Sep 2013 01:15:26 +0200 blanchet updated NEWS and CONTRIBUTORS
Wed, 18 Sep 2013 13:18:51 +0200 wenzelm improved printing of exception trace in Poly/ML 5.5.1;
Tue, 17 Sep 2013 15:18:14 +0200 lammich order_bot, order_top
Tue, 17 Sep 2013 13:40:44 +0200 noschinl NEWS: Simps_Case_Conv
Mon, 16 Sep 2013 11:46:24 +0200 wenzelm more NEWS;
Fri, 13 Sep 2013 09:31:45 +0200 krauss merged
Tue, 10 Sep 2013 20:34:32 +0200 krauss NEWS and CONTRIBUTORS
Wed, 11 Sep 2013 18:52:30 +0200 haftmann more correct NEWS
Wed, 11 Sep 2013 11:08:48 +0200 wenzelm tuned;
Wed, 04 Sep 2013 12:20:00 +0200 wenzelm remove Swing input map, which might bind keys in unexpected ways (e.g. LEFT/RIGHT in singleton list);
Mon, 02 Sep 2013 17:14:35 +0200 Andreas Lochbihler NEWS
Sat, 31 Aug 2013 12:14:19 +0200 wenzelm more accurate description: Swing/L&F has additional handlers;
Fri, 30 Aug 2013 13:46:32 +0200 wenzelm merged
Fri, 30 Aug 2013 13:45:57 +0200 wenzelm NEWS;
Fri, 30 Aug 2013 12:12:41 +0200 blanchet renamed command to clarify connection with BNF
Fri, 30 Aug 2013 12:06:37 +0200 blanchet updated news/contributors with BNF stuff
Thu, 29 Aug 2013 21:49:46 +0200 wenzelm added action isabelle.complete, using standard jEdit keyboard shortcut;
Thu, 29 Aug 2013 10:24:43 +0200 wenzelm some completion options;
Thu, 29 Aug 2013 09:16:03 +0200 wenzelm GTK+ works better due to avoidance of default list view popups;
Wed, 28 Aug 2013 22:25:14 +0200 wenzelm complete symbols only in backslash forms -- less intrusive editing, greater chance of finding escape sequence in text;
Fri, 23 Aug 2013 12:40:55 +0200 wenzelm clarified position of Spec_Check for Isabelle/ML -- it is unrelated to Isabelle/HOL;
Fri, 23 Aug 2013 11:44:28 +0200 wenzelm obsolete (see 52790e3961fe);
Fri, 23 Aug 2013 11:41:17 +0200 wenzelm added action isabelle.reset-font-size;
Fri, 23 Aug 2013 11:23:26 +0200 wenzelm tuned -- some reformatting;
Tue, 20 Aug 2013 11:39:53 +0200 krauss renamed theory Mrec to Legacy_Mrec, no longer included by default
Sat, 17 Aug 2013 12:25:26 +0200 wenzelm NEWS;
Tue, 13 Aug 2013 20:34:46 +0200 wenzelm discontinued special treatment of \<^isub> and \<^isup> in rendering or editor front-end;
Tue, 13 Aug 2013 17:26:22 +0200 wenzelm disable old identifier syntax by default, legacy_isub_isup := true may be used temporarily as fall-back;
Fri, 09 Aug 2013 20:31:51 +0200 wenzelm NEWS;
Wed, 07 Aug 2013 15:35:33 +0200 wenzelm more NEWS and CONTRIBUTORS;
Wed, 31 Jul 2013 21:53:33 +0200 wenzelm NEWS;
Wed, 31 Jul 2013 10:54:37 +0200 wenzelm simplified flag for continuous checking: avoid GUI complexity and slow checking of all theories (including prints);
Tue, 30 Jul 2013 15:09:25 +0200 wenzelm type theory is purely value-oriented;
Mon, 29 Jul 2013 20:46:21 +0200 wenzelm NEWS;
Sat, 27 Jul 2013 22:20:25 +0200 wenzelm discontinued historic document formats;
Sat, 27 Jul 2013 22:16:04 +0200 wenzelm avoid predefined symbols -- allow editing with Isabelle/jEdit in isabelle-news mode;
Sat, 27 Jul 2013 21:43:12 +0200 wenzelm discontinued ISABELLE_DOC_FORMAT;
Sat, 13 Jul 2013 21:02:41 +0200 wenzelm merged
Sat, 13 Jul 2013 14:13:34 +0200 wenzelm NEWS;
Sat, 13 Jul 2013 17:53:58 +0200 haftmann attribute "code" declares concrete and abstract code equations uniformly; added explicit "code equation" instead
Sun, 07 Jul 2013 18:43:14 +0200 wenzelm discontinued obsolete "isabelle print";
Sun, 07 Jul 2013 18:34:29 +0200 wenzelm discontinued command 'print_drafts';
less more (0) -1000 -300 -100 -60 tip