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;
Wed, 29 Oct 2014 17:01:44 +0100 wenzelm modernized setup;
Wed, 29 Oct 2014 15:28:27 +0100 wenzelm modernized setup;
Wed, 29 Oct 2014 15:15:17 +0100 wenzelm modernized setup;
Wed, 29 Oct 2014 15:07:53 +0100 wenzelm modernized setup;
Wed, 29 Oct 2014 15:02:29 +0100 wenzelm modernized setup;
Wed, 29 Oct 2014 14:40:14 +0100 wenzelm modernized setup;
Wed, 29 Oct 2014 14:14:36 +0100 wenzelm modernized setup;
Wed, 29 Oct 2014 14:05:36 +0100 wenzelm modernized setup;
Wed, 29 Oct 2014 13:57:20 +0100 wenzelm modernized setup;
Wed, 29 Oct 2014 13:42:38 +0100 wenzelm modernized setup;
Wed, 29 Oct 2014 11:41:54 +0100 wenzelm modernized setup;
Wed, 29 Oct 2014 11:33:29 +0100 wenzelm modernized setup;
Wed, 29 Oct 2014 11:19:27 +0100 wenzelm tuned;
Wed, 29 Oct 2014 11:13:24 +0100 wenzelm modernized setup;
Wed, 29 Oct 2014 10:58:41 +0100 wenzelm modernized setup;
Wed, 29 Oct 2014 10:35:00 +0100 wenzelm more standard theory name;
Wed, 29 Oct 2014 09:42:46 +0100 wenzelm more iterators;
Wed, 29 Oct 2014 12:01:39 +0100 nipkow removed useless lemmas
Wed, 29 Oct 2014 11:03:23 +0100 nipkow tuned layout and proofs
Tue, 28 Oct 2014 17:16:22 +0100 wenzelm tuned proofs;
Tue, 28 Oct 2014 16:44:58 +0100 wenzelm increase chances that HOL-Proofs image still works for polyml-5.3.0;
Tue, 28 Oct 2014 16:27:11 +0100 wenzelm tuned signature;
Tue, 28 Oct 2014 16:20:26 +0100 wenzelm proper selectMatch, e.g. relevant for S-click on gutter;
Tue, 28 Oct 2014 16:19:04 +0100 wenzelm find command span in buffer;
Tue, 28 Oct 2014 13:52:54 +0100 wenzelm 'notepad' requires proper nesting of begin/end;
Tue, 28 Oct 2014 11:42:51 +0100 wenzelm explicit keyword category for commands that may start a block;
Tue, 28 Oct 2014 11:27:57 +0100 wenzelm updated keywords;
Tue, 28 Oct 2014 10:35:38 +0100 wenzelm 'oops' requires proper goal statement -- exclude 'notepad' to avoid disrupting begin/end structure;
Tue, 28 Oct 2014 09:57:12 +0100 wenzelm more abstract type;
Tue, 28 Oct 2014 09:32:18 +0100 wenzelm tuned;
Tue, 28 Oct 2014 09:20:07 +0100 wenzelm tuned;
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 tip