src/Pure/Syntax/README
changeset 6116 8ba2f25610f7
parent 4940 dd4bbbcd1d22
child 6127 ece970eb5850
     1.1 --- a/src/Pure/Syntax/README	Wed Jan 13 12:16:34 1999 +0100
     1.2 +++ b/src/Pure/Syntax/README	Wed Jan 13 12:44:33 1999 +0100
     1.3 @@ -4,12 +4,7 @@
     1.4  
     1.5  This directory contains the source files for Isabelle's syntax module,
     1.6  which includes a lexer, parser, pretty printer and macro system. Note
     1.7 -that only the following structures are supposed to be exported:
     1.8 -
     1.9 -  Pretty        (generic pretty printing module)
    1.10 -  Scan          (generic scanner toolbox)
    1.11 -  Source	(co-algebraic data sources)
    1.12 -  Symbol	(generalized characters)
    1.13 +that only the following structures are exported:
    1.14  
    1.15    Syntax        (internal interface to the syntax module)
    1.16    BasicSyntax   (part of Syntax made pervasive)