| Sat, 27 Nov 2010 16:27:52 +0100 | wenzelm | more proper int wrappers; | file | diff | annotate |
| Sun, 07 Mar 2010 15:49:49 +0100 | wenzelm | proper int wrapping for Word32; | file | diff | annotate |
| Sun, 13 Sep 2009 02:07:52 +0200 | wenzelm | wrapper for Real.fmt -- via StringCvt.realfmt; | file | diff | annotate |
| Mon, 19 Jan 2009 19:38:03 +0100 | wenzelm | removed Ids; | file | diff | annotate |
| Fri, 03 Oct 2008 21:06:38 +0200 | wenzelm | removed obsolete Posix/Signal compatibility wrappers; | file | diff | annotate |
| Sun, 16 Sep 2007 15:36:57 +0200 | wenzelm | added structure Posix; | file | diff | annotate |
| Sun, 16 Sep 2007 14:52:32 +0200 | wenzelm | added ml_system_fix_ints; | file | diff | annotate |
| Fri, 03 Aug 2007 16:28:19 +0200 | wenzelm | moved Admin/proper_int.ML to Pure/ML-Systems/proper_int.ML; | file | diff | annotate |