Mon, 08 May 2000 20:57:02 +0200 replaced rabs by overloaded abs;
wenzelm [Mon, 08 May 2000 20:57:02 +0200] rev 8838
replaced rabs by overloaded abs;
Mon, 08 May 2000 18:20:04 +0200 yet another example
paulson [Mon, 08 May 2000 18:20:04 +0200] rev 8837
yet another example
Mon, 08 May 2000 16:59:18 +0200 new example
paulson [Mon, 08 May 2000 16:59:18 +0200] rev 8836
new example
(0) -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip