improved comments;
authorwenzelm
Mon Nov 29 12:00:57 1993 +0100 (1993-11-29)
changeset 161d77bd6c76c03
parent 160 80ccb6c354ba
child 162 58d54dc482d1
improved comments;
src/Pure/Syntax/README
     1.1 --- a/src/Pure/Syntax/README	Mon Nov 29 11:08:17 1993 +0100
     1.2 +++ b/src/Pure/Syntax/README	Mon Nov 29 12:00:57 1993 +0100
     1.3 @@ -1,8 +1,13 @@
     1.4                                Pure/Syntax/
     1.5  
     1.6  This directory contains the source files for Isabelle's syntax module, which
     1.7 -includes a lexer, parser, pretty printer and macro system. Note that only
     1.8 -structures Pretty, Syntax and BasicSyntax are supposed to be exported.
     1.9 +includes a lexer, parser, pretty printer and macro system. Note that only the
    1.10 +following structures are supposed to be exported:
    1.11 +
    1.12 +  Pretty        (generic pretty printing module)
    1.13 +  Syntax        (interface to the syntax module)
    1.14 +  BasicSyntax   (part of Syntax made pervasive)
    1.15 +  Scanner       (generic scanner toolbox)
    1.16  
    1.17  There is no Makefile to compile these files separately; they are compiled as
    1.18  part of Pure Isabelle.