author | wenzelm |
Tue, 11 Jul 2006 12:17:08 +0200 | |
changeset 20083 | 717b1eb434f1 |
parent 14981 | e73f8140af78 |
permissions | -rw-r--r-- |
(* Title: Pure/ML-Systems/smlnj.ML ID: $Id$ Author: Markus Wenzel, LMU Muenchen Compatibility tweak for later versions of Standard ML of New Jersey 110. *) structure Compiler = struct open Compiler; structure Control = Control; structure PrettyPrint = PrettyPrint; structure PPTable = CompilerPPTable; structure Interact = Backend.Interact; end;