# HG changeset patch
# User wenzelm
# Date 1126018792 -7200
# Node ID ab45d65bf2044b0e60a5fd8a90e032c22cc20544
# Parent  3bb24e8b2cb27fb1f06beedfae410e7d45497ecd
make LocalesTest last, because it sets funny flags;

diff -r 3bb24e8b2cb2 -r ab45d65bf204 src/FOL/ex/ROOT.ML
--- a/src/FOL/ex/ROOT.ML	Tue Sep 06 16:59:51 2005 +0200
+++ b/src/FOL/ex/ROOT.ML	Tue Sep 06 16:59:52 2005 +0200
@@ -13,8 +13,6 @@
 time_use     "foundn.ML";
 time_use_thy "Prolog";
 
-time_use_thy "LocaleTest";
-
 writeln"\n** Intuitionistic examples **\n";
 time_use_thy "Intuitionistic";
 
@@ -39,3 +37,6 @@
 
 writeln"\n** How to declare an oracle **\n";
 time_use_thy "IffOracle";
+
+(*regression test for locales -- sets several global flags!*)
+time_use_thy "LocaleTest";