PolyML.Compiler.printInAlphabeticalOrder := false;
authorwenzelm
Fri Jun 17 18:33:38 2005 +0200 (2005-06-17)
changeset 16453af3afdbd09ea
parent 16452 71f3e0041f14
child 16454 af39c6510b86
PolyML.Compiler.printInAlphabeticalOrder := false;
src/Pure/ML-Systems/polyml.ML
     1.1 --- a/src/Pure/ML-Systems/polyml.ML	Fri Jun 17 18:33:37 2005 +0200
     1.2 +++ b/src/Pure/ML-Systems/polyml.ML	Fri Jun 17 18:33:38 2005 +0200
     1.3 @@ -8,6 +8,9 @@
     1.4  
     1.5  (** ML system and platform related **)
     1.6  
     1.7 +PolyML.Compiler.printInAlphabeticalOrder := false;
     1.8 +
     1.9 +
    1.10  (* cygwin *)
    1.11  
    1.12  val cygwin_platform =