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