src/Pure/ML-Systems/polyml-old-basis.ML
Thu, 31 May 2007 01:36:08 +0200 wenzelm emulate later version of TextIO.inputLine;
Thu, 31 May 2007 01:25:24 +0200 wenzelm TextIO.inputLine: use present SML B library version;
less more (0) tip