Sun, 02 Nov 2014 17:39:52 +0100 wenzelm obsolete;
Sun, 02 Nov 2014 17:36:52 +0100 wenzelm modernized header;
Sun, 02 Nov 2014 17:27:22 +0100 wenzelm obsolete;
Sun, 02 Nov 2014 17:23:48 +0100 wenzelm modernized header;
Sun, 02 Nov 2014 17:20:45 +0100 wenzelm modernized header;
Sun, 02 Nov 2014 17:16:01 +0100 wenzelm modernized header;
Sun, 02 Nov 2014 17:14:15 +0100 wenzelm modernized header;
Sun, 02 Nov 2014 17:13:28 +0100 wenzelm modernized header;
Sun, 02 Nov 2014 17:09:04 +0100 wenzelm modernized header;
Sun, 02 Nov 2014 17:06:05 +0100 wenzelm modernized header;
Sun, 02 Nov 2014 16:59:40 +0100 wenzelm clarified legacy command;
Sun, 02 Nov 2014 16:54:06 +0100 wenzelm modernized header;
Sun, 02 Nov 2014 16:50:42 +0100 wenzelm obsolete;
Sun, 02 Nov 2014 16:47:45 +0100 wenzelm added update_header tool;
Sun, 02 Nov 2014 16:39:54 +0100 wenzelm modernized header;
Sun, 02 Nov 2014 16:09:35 +0100 wenzelm more flexibile \setisabellecontext, independently of header;
Sun, 02 Nov 2014 16:05:43 +0100 wenzelm prefer explicit heading command;
Sun, 02 Nov 2014 15:27:37 +0100 wenzelm uniform heading commands work in any context, even in theory header;
Sun, 02 Nov 2014 13:26:20 +0100 wenzelm eliminated dead code;
Sat, 01 Nov 2014 20:19:07 +0100 wenzelm clarified syntax -- avoid overlap with command category;
Sat, 01 Nov 2014 19:47:48 +0100 wenzelm tuned signature (see ab2483fad861);
Sat, 01 Nov 2014 19:33:51 +0100 wenzelm recover via scanner;
Sat, 01 Nov 2014 18:46:48 +0100 wenzelm simplified -- scanning is never interactive;
Sat, 01 Nov 2014 15:35:40 +0100 wenzelm tuned signature, in accordance to Scala version;
Sat, 01 Nov 2014 15:01:41 +0100 wenzelm command-line terminator ";" is no longer accepted;
Sat, 01 Nov 2014 14:20:38 +0100 wenzelm eliminated spurious semicolons;
Sat, 01 Nov 2014 11:40:55 +0100 wenzelm eliminated former Proof General preferences;
Fri, 31 Oct 2014 23:51:54 +0100 wenzelm merged
Fri, 31 Oct 2014 22:48:00 +0100 wenzelm tuned;
Fri, 31 Oct 2014 22:37:22 +0100 wenzelm provide explicit theory (amending 621c052789b4);
Fri, 31 Oct 2014 22:09:18 +0100 wenzelm removed pointless markup;
Fri, 31 Oct 2014 22:02:49 +0100 wenzelm discontinued obsolete \<^sync> marker;
Fri, 31 Oct 2014 21:48:40 +0100 wenzelm discontinued obsolete control command category;
Fri, 31 Oct 2014 21:35:11 +0100 wenzelm obsolete;
Fri, 31 Oct 2014 21:20:06 +0100 wenzelm obsolete;
Fri, 31 Oct 2014 21:10:11 +0100 wenzelm discontinued obsolete tty and prompt;
Fri, 31 Oct 2014 18:56:59 +0100 wenzelm discontinued pointless option: timing is always on (overall theory only);
Fri, 31 Oct 2014 17:08:54 +0100 wenzelm eliminated odd flags and hook;
Fri, 31 Oct 2014 16:56:23 +0100 wenzelm avoid noise (cf. 03ff4d1e6784);
Fri, 31 Oct 2014 16:03:45 +0100 wenzelm discontinued Isar TTY loop;
Fri, 31 Oct 2014 15:15:10 +0100 wenzelm removed obsolete Proof General commands;
Fri, 31 Oct 2014 15:08:51 +0100 wenzelm obsolete;
Fri, 31 Oct 2014 11:36:41 +0100 wenzelm discontinued obsolete Output.urgent_message;
Fri, 31 Oct 2014 11:18:17 +0100 wenzelm discontinued Proof General;
Fri, 31 Oct 2014 17:01:54 +0000 paulson Some comments and a new version of a result
Thu, 30 Oct 2014 23:14:11 +0100 wenzelm merged
Thu, 30 Oct 2014 22:45:19 +0100 wenzelm eliminated aliases;
Thu, 30 Oct 2014 16:55:29 +0100 wenzelm eliminated aliases;
Thu, 30 Oct 2014 16:20:46 +0100 wenzelm eliminated aliases;
Thu, 30 Oct 2014 16:17:56 +0100 wenzelm tuned spelling;
Thu, 30 Oct 2014 15:57:13 +0100 wenzelm hardwired imitation of copy.shortcut2 default;
Thu, 30 Oct 2014 21:02:01 +0100 haftmann more simp rules concerning dvd and even/odd
Thu, 30 Oct 2014 16:36:44 +0000 paulson choose_reduce_nat: re-ordered operands
Thu, 30 Oct 2014 11:24:53 +0100 wenzelm make SML/NJ more happy;
Thu, 30 Oct 2014 11:08:26 +0100 wenzelm proper syntax categery "name" -- as usual and as documented;
Thu, 30 Oct 2014 09:15:54 +0100 hoelzl disable coercions for NO_MATCH
Wed, 29 Oct 2014 19:26:05 +0100 wenzelm merged
Wed, 29 Oct 2014 19:13:19 +0100 wenzelm modernized setup;
Wed, 29 Oct 2014 19:23:32 +0100 wenzelm merged
Wed, 29 Oct 2014 19:01:49 +0100 wenzelm modernized setup;
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 tip