| Fri, 23 Sep 2011 17:35:06 +0200 |
wenzelm |
made SML/NJ happy;
|
file |
diff |
annotate
|
| Thu, 22 Sep 2011 21:58:05 +0200 |
wenzelm |
made SML/NJ happy;
|
file |
diff |
annotate
|
| Sat, 23 Jul 2011 17:22:28 +0200 |
wenzelm |
explicit structure ML_System;
|
file |
diff |
annotate
|
| Sun, 20 Mar 2011 22:48:08 +0100 |
wenzelm |
dropped unused structure aliases;
|
file |
diff |
annotate
|
| Thu, 20 Jan 2011 21:12:25 +0100 |
wenzelm |
Word: direct conversion wrt. LargeInt to bypass exception Overflow;
|
file |
diff |
annotate
|
| 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
|