[MLton-commit] r4946

[Vesa K. <ve...@ml...>]

Reorganized public files.
----------------------------------------------------------------------

D   mltonlib/trunk/com/ssh/extended-basis/unstable/public/export-mlkit.sml

----------------------------------------------------------------------

Deleted: mltonlib/trunk/com/ssh/extended-basis/unstable/public/export-mlkit.sml
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/export-mlkit.sml	2006-12-10 19:13:10 UTC (rev 4945)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/export-mlkit.sml	2006-12-10 19:13:15 UTC (rev 4946)
@@ -1,15 +0,0 @@
-(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
- *
- * This code is released under the MLton license, a BSD-style license.
- * See the LICENSE file or http://mlton.org/License for details.
- *)
-
-(** == MLKit specific extensions == *)
-
-structure Int31 : INTEGER = Int31
-structure Int32 : INTEGER = Int32
-structure IntInf : INT_INF = IntInf
-structure Real64 : REAL = Real64
-structure SysWord : WORD = SysWord
-structure Word31 : WORD = Word31
-structure Word32 : WORD = Word32