# HG changeset patch
# User wenzelm
# Date 754570857 -3600
# Node ID d77bd6c76c03259b55d50e9a01f39abadb90c02c
# Parent  80ccb6c354ba0a5c603598bac0aab708da90fdfc
improved comments;

diff -r 80ccb6c354ba -r d77bd6c76c03 src/Pure/Syntax/README
--- a/src/Pure/Syntax/README	Mon Nov 29 11:08:17 1993 +0100
+++ b/src/Pure/Syntax/README	Mon Nov 29 12:00:57 1993 +0100
@@ -1,8 +1,13 @@
                               Pure/Syntax/
 
 This directory contains the source files for Isabelle's syntax module, which
-includes a lexer, parser, pretty printer and macro system. Note that only
-structures Pretty, Syntax and BasicSyntax are supposed to be exported.
+includes a lexer, parser, pretty printer and macro system. Note that only the
+following structures are supposed to be exported:
+
+  Pretty        (generic pretty printing module)
+  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.