Fri, 01 Sep 2000 00:33:36 +0200 added bang_sectioned_args';
wenzelm [Fri, 01 Sep 2000 00:33:36 +0200] rev 9777
added bang_sectioned_args';
Fri, 01 Sep 2000 00:33:14 +0200 'declare' made proper command;
wenzelm [Fri, 01 Sep 2000 00:33:14 +0200] rev 9776
'declare' made proper command;
Fri, 01 Sep 2000 00:32:46 +0200 priority_fn := decorate_lines;
wenzelm [Fri, 01 Sep 2000 00:32:46 +0200] rev 9775
priority_fn := decorate_lines; replaced 'message' by 'priority';
Fri, 01 Sep 2000 00:32:11 +0200 added priority, priority_fn;
wenzelm [Fri, 01 Sep 2000 00:32:11 +0200] rev 9774
added priority, priority_fn;
Fri, 01 Sep 2000 00:31:39 +0200 added "safe" method;
wenzelm [Fri, 01 Sep 2000 00:31:39 +0200] rev 9773
added "safe" method;
Fri, 01 Sep 2000 00:31:08 +0200 auto method: opt args;
wenzelm [Fri, 01 Sep 2000 00:31:08 +0200] rev 9772
auto method: opt args; tuned;
Fri, 01 Sep 2000 00:30:25 +0200 converted Lambda scripts;
wenzelm [Fri, 01 Sep 2000 00:30:25 +0200] rev 9771
converted Lambda scripts;
Fri, 01 Sep 2000 00:29:12 +0200 converted;
wenzelm [Fri, 01 Sep 2000 00:29:12 +0200] rev 9770
converted;
Fri, 01 Sep 2000 00:28:27 +0200 fixed rulify_prems;
wenzelm [Fri, 01 Sep 2000 00:28:27 +0200] rev 9769
fixed rulify_prems;
Fri, 01 Sep 2000 00:28:06 +0200 lemmas [mono] = lists_mono;
wenzelm [Fri, 01 Sep 2000 00:28:06 +0200] rev 9768
lemmas [mono] = lists_mono;
(0) -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip