Thu, 30 Mar 2000 14:21:28 +0200 ?this: support params;
wenzelm [Thu, 30 Mar 2000 14:21:28 +0200] rev 8612
?this: support params;
Thu, 30 Mar 2000 14:20:42 +0200 support polymorphic Vars;
wenzelm [Thu, 30 Mar 2000 14:20:42 +0200] rev 8611
support polymorphic Vars;
Thu, 30 Mar 2000 14:20:13 +0200 tuned;
wenzelm [Thu, 30 Mar 2000 14:20:13 +0200] rev 8610
tuned;
(0) -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip