src/Pure/ML-Systems/polyml-posix.ML
2007-05-31 wenzelm 2007-05-31 TextIO.inputLine: use present SML B library version;
2005-10-05 paulson 2005-10-05 more signals
2005-06-11 wenzelm 2005-06-11 Posix patches (from polyml.ML);