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