diff -r 1b3bee8d5d7e -r 775dd81a58e5 src/Pure/Syntax/README
--- a/src/Pure/Syntax/README	Wed Jan 19 14:12:40 1994 +0100
+++ b/src/Pure/Syntax/README	Wed Jan 19 14:13:23 1994 +0100
@@ -5,9 +5,10 @@
 following structures are supposed to be exported:
 
   Pretty        (generic pretty printing module)
+  Scanner       (generic scanner toolbox)
+
   Syntax        (interface to the syntax module)
   BasicSyntax   (part of Syntax made pervasive)
-  Scanner       (generic scanner toolbox)
 
 There is no Makefile to compile these files separately; they are compiled as
 part of Pure Isabelle.