Mon, 12 Aug 2013 12:06:48 +0200 tuned signature;
wenzelm [Mon, 12 Aug 2013 12:06:48 +0200] rev 52974
tuned signature;
Mon, 12 Aug 2013 11:56:12 +0200 tuned signature;
wenzelm [Mon, 12 Aug 2013 11:56:12 +0200] rev 52973
tuned signature;
Mon, 12 Aug 2013 11:49:58 +0200 tuned signature;
wenzelm [Mon, 12 Aug 2013 11:49:58 +0200] rev 52972
tuned signature;
Mon, 12 Aug 2013 11:39:29 +0200 tuned signature -- more abstract PIDE editor operations;
wenzelm [Mon, 12 Aug 2013 11:39:29 +0200] rev 52971
tuned signature -- more abstract PIDE editor operations;
Mon, 12 Aug 2013 15:48:57 +0200 tuned messages
blanchet [Mon, 12 Aug 2013 15:48:57 +0200] rev 52970
tuned messages
Mon, 12 Aug 2013 15:25:17 +0200 clarified option name (since case/fold/rec are also destructors)
blanchet [Mon, 12 Aug 2013 15:25:17 +0200] rev 52969
clarified option name (since case/fold/rec are also destructors)
Mon, 12 Aug 2013 15:25:17 +0200 define case constant from other 'free constructor' axioms
blanchet [Mon, 12 Aug 2013 15:25:17 +0200] rev 52968
define case constant from other 'free constructor' axioms
Mon, 12 Aug 2013 15:25:16 +0200 introduced case tactics
blanchet [Mon, 12 Aug 2013 15:25:16 +0200] rev 52967
introduced case tactics
Mon, 12 Aug 2013 15:25:16 +0200 tuning
blanchet [Mon, 12 Aug 2013 15:25:16 +0200] rev 52966
tuning
Mon, 12 Aug 2013 09:51:00 +0200 handle both TVars and TFrees -- necessary for 'wrap_free_constructors'
blanchet [Mon, 12 Aug 2013 09:51:00 +0200] rev 52965
handle both TVars and TFrees -- necessary for 'wrap_free_constructors'
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip