--- a/src/Pure/ML-Systems/polyml.ML Fri Jun 17 18:33:37 2005 +0200
+++ b/src/Pure/ML-Systems/polyml.ML Fri Jun 17 18:33:38 2005 +0200
@@ -8,6 +8,9 @@
(** ML system and platform related **)
+PolyML.Compiler.printInAlphabeticalOrder := false;
+
+
(* cygwin *)
val cygwin_platform =