src/Pure/ML-Systems/alice.ML
2007-10-01 wenzelm 2007-10-01 integer compatibility: added wrapper for structure Time;
2007-10-01 wenzelm 2007-10-01 downgraded IntInf with divMod; fixed use_text;
2007-09-24 wenzelm 2007-09-24 replaced interrupt_timeout by TimeLimit.timeLimit (available on SML/NJ and Poly/ML 5.1);
2007-09-16 wenzelm 2007-09-16 added ml_system_fix_ints;
2007-08-18 wenzelm 2007-08-18 ML system provides get_print_depth;
2007-08-15 wenzelm 2007-08-15 tuned comments;
2007-07-24 wenzelm 2007-07-24 ML-Systems/exn.ML, ML-Systems/multithreading_dummy.ML;
2007-07-23 wenzelm 2007-07-23 added compatibility file for ML systems without multithreading;
2007-07-17 wenzelm 2007-07-17 tuned comment;
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!