Fri, 25 Apr 1997 17:50:55 +0200 improved tmp comment;
wenzelm [Fri, 25 Apr 1997 17:50:55 +0200] rev 3061
improved tmp comment;
Fri, 25 Apr 1997 17:28:43 +0200 removed -norc;
wenzelm [Fri, 25 Apr 1997 17:28:43 +0200] rev 3060
removed -norc;
Fri, 25 Apr 1997 15:33:19 +0200 used explcite tactics in instances (since ax_per_trans "loops")
slotosch [Fri, 25 Apr 1997 15:33:19 +0200] rev 3059
used explcite tactics in instances (since ax_per_trans "loops")
Fri, 25 Apr 1997 15:31:51 +0200 changed Domain->Dom for SML/NJ
slotosch [Fri, 25 Apr 1997 15:31:51 +0200] rev 3058
changed Domain->Dom for SML/NJ
Fri, 25 Apr 1997 15:24:07 +0200 removed -c option;
wenzelm [Fri, 25 Apr 1997 15:24:07 +0200] rev 3057
removed -c option;
Fri, 25 Apr 1997 15:18:58 +0200 removed -c option;
wenzelm [Fri, 25 Apr 1997 15:18:58 +0200] rev 3056
removed -c option;
Fri, 25 Apr 1997 15:10:52 +0200 removed COPYDB flag;
wenzelm [Fri, 25 Apr 1997 15:10:52 +0200] rev 3055
removed COPYDB flag;
Fri, 25 Apr 1997 15:08:52 +0200 removed -c option;
wenzelm [Fri, 25 Apr 1997 15:08:52 +0200] rev 3054
removed -c option;
Fri, 25 Apr 1997 15:08:25 +0200 obsolete;
wenzelm [Fri, 25 Apr 1997 15:08:25 +0200] rev 3053
obsolete;
Fri, 25 Apr 1997 15:06:21 +0200 no longer forces default;
wenzelm [Fri, 25 Apr 1997 15:06:21 +0200] rev 3052
no longer forces default;
(0) -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip