src/Pure/ML-Systems/alice.ML
2008-05-28 wenzelm 2008-05-28 added ISABELLE_HOME to startup; pathed OS.FileSys.tmpName to drop C string terminator; added OS.FileSys.fullPath;
2008-05-14 wenzelm 2008-05-14 use_text/file: ignore str_of_pos argument;
2008-03-31 wenzelm 2008-03-31 before close: Exn.capture/release;
2008-03-28 wenzelm 2008-03-28 added forget_structure;
2008-03-24 wenzelm 2008-03-24 ML runtime compilation: pass position, tuned signature;
2008-03-06 wenzelm 2008-03-06 added dummy version of string_of_pid;
2008-03-06 wenzelm 2008-03-06 use "ML-Systems/universal.ML"; specific system_out;
2008-03-06 wenzelm 2008-03-06 common setup for system_out/system;
2008-02-16 wenzelm 2008-02-16 replaced ignore/raise_interrupt by more flexible (un)interruptible combinators;
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!