src/Pure/ML-Systems/proper_int.ML
2013-09-29 ago made SML/NJ happy (NB: toplevel ML environment is unmanaged);
2013-05-31 ago make SML/NJ partially happy;
2013-01-10 ago made SML/NJ happy;
2011-09-23 ago made SML/NJ happy;
2011-09-22 ago made SML/NJ happy;
2011-07-23 ago explicit structure ML_System;
2011-03-20 ago dropped unused structure aliases;
2011-01-20 ago Word: direct conversion wrt. LargeInt to bypass exception Overflow;
2010-11-27 ago more proper int wrappers;
2010-03-07 ago proper int wrapping for Word32;
2009-09-13 ago wrapper for Real.fmt -- via StringCvt.realfmt;
2009-01-19 ago removed Ids;
2008-10-03 ago removed obsolete Posix/Signal compatibility wrappers;
2007-09-16 ago added structure Posix;
2007-09-16 ago added ml_system_fix_ints;
2007-08-03 ago moved Admin/proper_int.ML to Pure/ML-Systems/proper_int.ML;