src/Pure/ML-Systems/proper_int.ML
Thu, 10 Jan 2013 13:02:06 +0100 wenzelm made SML/NJ happy;
Fri, 23 Sep 2011 17:35:06 +0200 wenzelm made SML/NJ happy;
Thu, 22 Sep 2011 21:58:05 +0200 wenzelm made SML/NJ happy;
Sat, 23 Jul 2011 17:22:28 +0200 wenzelm explicit structure ML_System;
Sun, 20 Mar 2011 22:48:08 +0100 wenzelm dropped unused structure aliases;
Thu, 20 Jan 2011 21:12:25 +0100 wenzelm Word: direct conversion wrt. LargeInt to bypass exception Overflow;
Sat, 27 Nov 2010 16:27:52 +0100 wenzelm more proper int wrappers;
Sun, 07 Mar 2010 15:49:49 +0100 wenzelm proper int wrapping for Word32;
Sun, 13 Sep 2009 02:07:52 +0200 wenzelm wrapper for Real.fmt -- via StringCvt.realfmt;
Mon, 19 Jan 2009 19:38:03 +0100 wenzelm removed Ids;
Fri, 03 Oct 2008 21:06:38 +0200 wenzelm removed obsolete Posix/Signal compatibility wrappers;
Sun, 16 Sep 2007 15:36:57 +0200 wenzelm added structure Posix;
Sun, 16 Sep 2007 14:52:32 +0200 wenzelm added ml_system_fix_ints;
Fri, 03 Aug 2007 16:28:19 +0200 wenzelm moved Admin/proper_int.ML to Pure/ML-Systems/proper_int.ML;
less more (0) tip