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;
wenzelm [Thu, 30 Oct 2014 16:20:46 +0100] rev 58837
eliminated aliases;
wenzelm [Thu, 30 Oct 2014 16:17:56 +0100] rev 58836
tuned spelling;