src/Pure/Syntax/README
author wenzelm
Mon, 09 Nov 1998 15:42:08 +0100
changeset 5840 e2d2b896c717
parent 4940 dd4bbbcd1d22
child 6116 8ba2f25610f7
permissions -rw-r--r--
Object logic specific operations.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
4689
wenzelm
parents: 3279
diff changeset
     1
18
c9ec452ff08f lots of internal cleaning and tuning;
wenzelm
parents: 0
diff changeset
     2
                              Pure/Syntax/
0
a5a9c433f639 Initial revision
clasohm
parents:
diff changeset
     3
4689
wenzelm
parents: 3279
diff changeset
     4
wenzelm
parents: 3279
diff changeset
     5
This directory contains the source files for Isabelle's syntax module,
wenzelm
parents: 3279
diff changeset
     6
which includes a lexer, parser, pretty printer and macro system. Note
wenzelm
parents: 3279
diff changeset
     7
that only the following structures are supposed to be exported:
161
d77bd6c76c03 improved comments;
wenzelm
parents: 18
diff changeset
     8
d77bd6c76c03 improved comments;
wenzelm
parents: 18
diff changeset
     9
  Pretty        (generic pretty printing module)
4689
wenzelm
parents: 3279
diff changeset
    10
  Scan          (generic scanner toolbox)
4940
dd4bbbcd1d22 added Source module;
wenzelm
parents: 4689
diff changeset
    11
  Source	(co-algebraic data sources)
dd4bbbcd1d22 added Source module;
wenzelm
parents: 4689
diff changeset
    12
  Symbol	(generalized characters)
235
775dd81a58e5 cosmetic changes;
wenzelm
parents: 161
diff changeset
    13
2581
wenzelm
parents: 235
diff changeset
    14
  Syntax        (internal interface to the syntax module)
161
d77bd6c76c03 improved comments;
wenzelm
parents: 18
diff changeset
    15
  BasicSyntax   (part of Syntax made pervasive)