discontinued support for 4.1.1, 4.1.2;
maintain PolyML.Compiler.printInAlphabeticalOrder;

--- a/src/Pure/ML-Systems/polyml.ML	Sat Oct 20 20:32:23 2007 +0200
+++ b/src/Pure/ML-Systems/polyml.ML	Sat Oct 20 20:33:06 2007 +0200
@@ -1,7 +1,7 @@
 (*  Title:      Pure/ML-Systems/polyml.ML
     ID:         $Id$
 
-Compatibility file for Poly/ML (version 4.1.x and 4.2.0).
+Compatibility file for Poly/ML (version 4.1.3, 4.1.4 and 4.2.0).
 *)
 
 use "ML-Systems/exn.ML";
@@ -11,8 +11,11 @@
 
 (** ML system and platform related **)
 
+(* Compiler options *)
+
 val ml_system_fix_ints = false;
 
+PolyML.Compiler.printInAlphabeticalOrder := false;
 PolyML.Compiler.maxInlineSize := 80;