wenzelm [Sat, 01 Nov 2014 15:01:41 +0100] rev 58861
command-line terminator ";" is no longer accepted;
wenzelm [Sat, 01 Nov 2014 14:20:38 +0100] rev 58860
eliminated spurious semicolons;
wenzelm [Sat, 01 Nov 2014 11:40:55 +0100] rev 58859
eliminated former Proof General preferences;
wenzelm [Fri, 31 Oct 2014 23:51:54 +0100] rev 58858
merged
wenzelm [Fri, 31 Oct 2014 22:48:00 +0100] rev 58857
tuned;
wenzelm [Fri, 31 Oct 2014 22:37:22 +0100] rev 58856
provide explicit theory (amending 621c052789b4);
wenzelm [Fri, 31 Oct 2014 22:09:18 +0100] rev 58855
removed pointless markup;
tuned comments;
wenzelm [Fri, 31 Oct 2014 22:02:49 +0100] rev 58854
discontinued obsolete \<^sync> marker;
wenzelm [Fri, 31 Oct 2014 21:48:40 +0100] rev 58853
discontinued obsolete control command category;
wenzelm [Fri, 31 Oct 2014 21:35:11 +0100] rev 58852
obsolete;
wenzelm [Fri, 31 Oct 2014 21:20:06 +0100] rev 58851
obsolete;
wenzelm [Fri, 31 Oct 2014 21:10:11 +0100] rev 58850
discontinued obsolete tty and prompt;
wenzelm [Fri, 31 Oct 2014 18:56:59 +0100] rev 58849
discontinued pointless option: timing is always on (overall theory only);
wenzelm [Fri, 31 Oct 2014 17:08:54 +0100] rev 58848
eliminated odd flags and hook;
wenzelm [Fri, 31 Oct 2014 16:56:23 +0100] rev 58847
avoid noise (cf. 03ff4d1e6784);
wenzelm [Fri, 31 Oct 2014 16:03:45 +0100] rev 58846
discontinued Isar TTY loop;
wenzelm [Fri, 31 Oct 2014 15:15:10 +0100] rev 58845
removed obsolete Proof General commands;
wenzelm [Fri, 31 Oct 2014 15:08:51 +0100] rev 58844
obsolete;
wenzelm [Fri, 31 Oct 2014 11:36:41 +0100] rev 58843
discontinued obsolete Output.urgent_message;
wenzelm [Fri, 31 Oct 2014 11:18:17 +0100] rev 58842
discontinued Proof General;
paulson <lp15@cam.ac.uk> [Fri, 31 Oct 2014 17:01:54 +0000] rev 58841
Some comments and a new version of a result
wenzelm [Thu, 30 Oct 2014 23:14:11 +0100] rev 58840
merged
wenzelm [Thu, 30 Oct 2014 22:45:19 +0100] rev 58839
eliminated aliases;
wenzelm [Thu, 30 Oct 2014 16:55:29 +0100] rev 58838
eliminated aliases;