Thu, 11 Jul 1996 15:28:10 +0200 Corrected indentation
paulson [Thu, 11 Jul 1996 15:28:10 +0200] rev 1851
Corrected indentation
Thu, 11 Jul 1996 15:18:57 +0200 Oracles can now be strings instead of identifiers
paulson [Thu, 11 Jul 1996 15:18:57 +0200] rev 1850
Oracles can now be strings instead of identifiers
Thu, 11 Jul 1996 15:14:41 +0200 Added insert_mono
paulson [Thu, 11 Jul 1996 15:14:41 +0200] rev 1849
Added insert_mono
(0) -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip