|
18
|
1 |
Pure/Syntax/
|
|
0
|
2 |
|
|
18
|
3 |
This directory contains the source files for Isabelle's syntax module, which
|
|
161
|
4 |
includes a lexer, parser, pretty printer and macro system. Note that only the
|
|
|
5 |
following structures are supposed to be exported:
|
|
|
6 |
|
|
|
7 |
Pretty (generic pretty printing module)
|
|
235
|
8 |
Scanner (generic scanner toolbox)
|
|
|
9 |
|
|
2581
|
10 |
Syntax (internal interface to the syntax module)
|
|
161
|
11 |
BasicSyntax (part of Syntax made pervasive)
|
|
0
|
12 |
|
|
3279
|
13 |
There is no IsaMakefile to compile these files separately; they are
|
|
|
14 |
compiled as part of Pure Isabelle.
|