src/Pure/ML-Systems/smlnj-basis-compat.ML
Tue, 20 Sep 2005 14:04:34 +0200 wenzelm TextIO.inputLine: handle IO.Io, assuming it stems from a signal;
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