# HG changeset patch
# User wenzelm
# Date 1003870365 -7200
# Node ID 92e442b783db4ad6cdd5a28133c46d905ec048da
# Parent  82f68fd05094f5ef1f17ea278622e8d285774c33
tuned;

diff -r 82f68fd05094 -r 92e442b783db src/Pure/Interface/ROOT.ML
--- a/src/Pure/Interface/ROOT.ML	Tue Oct 23 22:52:31 2001 +0200
+++ b/src/Pure/Interface/ROOT.ML	Tue Oct 23 22:52:45 2001 +0200
@@ -1,8 +1,8 @@
 (*  Title:      Pure/Interface/ROOT.ML
     ID:         $Id$
 
-Miscellaneous interfaces.
+Specific support for user-interfaces.
 *)
 
+use "isamode.ML";
 use "proof_general.ML";
-use "isamode.ML";