src/Pure/ML-Systems/smlnj-basis-compat.ML
Thu, 22 Apr 2004 12:31:33 +0200 paulson changed SML/NJ v 45 to 44
Mon, 05 Apr 2004 13:23:10 +0200 skalberg Added support for the newer versions of SML/NJ, which break several of the
less more (0) tip