Wed, 05 Nov 2014 20:20:57 +0100 wenzelm explicit type Keyword.keywords;
Wed, 05 Nov 2014 20:05:32 +0100 wenzelm tuned;
Wed, 05 Nov 2014 17:37:25 +0100 wenzelm clarified representation of type Keywords;
Wed, 05 Nov 2014 16:57:12 +0100 wenzelm explicit type Keyword.Keywords;
Wed, 05 Nov 2014 15:32:11 +0100 wenzelm clarified minor/major lexicon (like ML version);
Wed, 05 Nov 2014 19:43:17 +0100 nipkow reduced execution time
Tue, 04 Nov 2014 18:19:38 +0100 wenzelm proper button margins for Nimbus L&F;
Tue, 04 Nov 2014 17:37:15 +0100 wenzelm approximative update of versions;
Tue, 04 Nov 2014 17:33:08 +0100 lammich Added Option.bind_split{,_asm,s}
Mon, 03 Nov 2014 15:08:15 +0100 wenzelm clarified legacy code;
Mon, 03 Nov 2014 14:50:27 +0100 wenzelm eliminated unused int_only flag (see also c12484a27367);
Mon, 03 Nov 2014 14:31:15 +0100 wenzelm eliminated obsolete Proof.goal_message -- print outcome more directly;
Mon, 03 Nov 2014 09:25:23 +0100 wenzelm updated to scala-2.11.4;
Sun, 02 Nov 2014 23:13:31 +0100 wenzelm less ambitious isatest: polyml-5.3.0 has problems with big sessions like HOL-Proofs;
Sun, 02 Nov 2014 18:21:45 +0100 wenzelm modernized header uniformly as section;
Sun, 02 Nov 2014 18:21:14 +0100 wenzelm prefer \setisabellecontext;
Sun, 02 Nov 2014 18:16:19 +0100 wenzelm modernized header;
Sun, 02 Nov 2014 17:58:35 +0100 wenzelm modernized header;
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;
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 tip