Fri, 22 Nov 1996 17:41:32 +0100 paulson Have been obsolete for months; contents are now in Shared and NS_Shared
Fri, 22 Nov 1996 17:38:27 +0100 paulson Basis library emulation for old ML compilers
Thu, 21 Nov 1996 16:04:27 +0100 paulson Added warning message
(0) -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip