Tue, 11 Sep 2012 20:22:03 +0200 prefer tuning parameters as public methods (again) -- to allow overriding in applications;
wenzelm [Tue, 11 Sep 2012 20:22:03 +0200] rev 49293
prefer tuning parameters as public methods (again) -- to allow overriding in applications;
Tue, 11 Sep 2012 19:49:17 +0200 updated keywords;
wenzelm [Tue, 11 Sep 2012 19:49:17 +0200] rev 49292
updated keywords;
Tue, 11 Sep 2012 19:45:12 +0200 merged
wenzelm [Tue, 11 Sep 2012 19:45:12 +0200] rev 49291
merged
Tue, 11 Sep 2012 19:43:06 +0200 tuned;
wenzelm [Tue, 11 Sep 2012 19:43:06 +0200] rev 49290
tuned;
Tue, 11 Sep 2012 19:35:21 +0200 more informative tooltip: default value;
wenzelm [Tue, 11 Sep 2012 19:35:21 +0200] rev 49289
more informative tooltip: default value;
Tue, 11 Sep 2012 19:19:39 +0200 more options;
wenzelm [Tue, 11 Sep 2012 19:19:39 +0200] rev 49288
more options;
Tue, 11 Sep 2012 18:58:29 +0200 allow defaults for one datatype to involve the constructor of another one in the mutually recursive case
blanchet [Tue, 11 Sep 2012 18:58:29 +0200] rev 49287
allow defaults for one datatype to involve the constructor of another one in the mutually recursive case
Tue, 11 Sep 2012 18:39:47 +0200 added "defaults" option
blanchet [Tue, 11 Sep 2012 18:39:47 +0200] rev 49286
added "defaults" option
Tue, 11 Sep 2012 18:12:23 +0200 removed wrong "transpose" and ensure "sel" theorems are put in the right order (grouped per selector, in the order in which the selectors appear)
blanchet [Tue, 11 Sep 2012 18:12:23 +0200] rev 49285
removed wrong "transpose" and ensure "sel" theorems are put in the right order (grouped per selector, in the order in which the selectors appear)
Tue, 11 Sep 2012 17:36:09 +0200 spin off "bnf_def_tactics.ML"
blanchet [Tue, 11 Sep 2012 17:36:09 +0200] rev 49284
spin off "bnf_def_tactics.ML"
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip