equal
deleted
inserted
replaced
1 |
1 |
2 Pure/Syntax/ |
2 Pure/Syntax/ |
3 |
3 |
4 |
4 |
5 This directory contains the source files for Isabelle's syntax module, |
5 This directory contains the source files for Isabelle's syntax module, |
6 which includes a lexer, parser, pretty printer and macro system. Note |
6 which includes a lexer, parser, pretty printer and macro system. Only |
7 that only the following structures are exported: |
7 the following structures are exported: |
8 |
8 |
9 Syntax (internal interface to the syntax module) |
9 Syntax (internal interface to the syntax module) |
10 BasicSyntax (part of Syntax made pervasive) |
10 BasicSyntax (part of Syntax made pervasive) |