Fri, 31 Oct 2014 11:36:41 +0100 discontinued obsolete Output.urgent_message;
wenzelm [Fri, 31 Oct 2014 11:36:41 +0100] rev 58843
discontinued obsolete Output.urgent_message;
Fri, 31 Oct 2014 11:18:17 +0100 discontinued Proof General;
wenzelm [Fri, 31 Oct 2014 11:18:17 +0100] rev 58842
discontinued Proof General;
Fri, 31 Oct 2014 17:01:54 +0000 Some comments and a new version of a result
paulson <lp15@cam.ac.uk> [Fri, 31 Oct 2014 17:01:54 +0000] rev 58841
Some comments and a new version of a result
Thu, 30 Oct 2014 23:14:11 +0100 merged
wenzelm [Thu, 30 Oct 2014 23:14:11 +0100] rev 58840
merged
Thu, 30 Oct 2014 22:45:19 +0100 eliminated aliases;
wenzelm [Thu, 30 Oct 2014 22:45:19 +0100] rev 58839
eliminated aliases;
Thu, 30 Oct 2014 16:55:29 +0100 eliminated aliases;
wenzelm [Thu, 30 Oct 2014 16:55:29 +0100] rev 58838
eliminated aliases;
Thu, 30 Oct 2014 16:20:46 +0100 eliminated aliases;
wenzelm [Thu, 30 Oct 2014 16:20:46 +0100] rev 58837
eliminated aliases;
Thu, 30 Oct 2014 16:17:56 +0100 tuned spelling;
wenzelm [Thu, 30 Oct 2014 16:17:56 +0100] rev 58836
tuned spelling;
Thu, 30 Oct 2014 15:57:13 +0100 hardwired imitation of copy.shortcut2 default;
wenzelm [Thu, 30 Oct 2014 15:57:13 +0100] rev 58835
hardwired imitation of copy.shortcut2 default;
Thu, 30 Oct 2014 21:02:01 +0100 more simp rules concerning dvd and even/odd
haftmann [Thu, 30 Oct 2014 21:02:01 +0100] rev 58834
more simp rules concerning dvd and even/odd
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip