src/Pure/ML-Systems/alice.ML
2007-07-17 wenzelm 2007-07-17 moved cd/pwd to ML compatibility layer (simplifies bootstrapping with Alice);
2007-05-31 wenzelm 2007-05-31 TextIO.inputLine: use present SML B library version;
2007-05-06 wenzelm 2007-05-06 updated Alice version;
2007-04-03 wenzelm 2007-04-03 tuned comments;
2007-04-03 wenzelm 2007-04-03 fixed chr/explode;
2007-04-03 wenzelm 2007-04-03 Compatibility file for Alice 1.3 -- experimental!