| author | wenzelm |
| Wed, 29 Apr 1998 11:13:22 +0200 | |
| changeset 4844 | 4fb63c77f2df |
| parent 4689 | 49d116fdcafa |
| child 4940 | dd4bbbcd1d22 |
| permissions | -rw-r--r-- |
| 4689 | 1 |
|
| 18 | 2 |
Pure/Syntax/ |
| 0 | 3 |
|
| 4689 | 4 |
|
5 |
This directory contains the source files for Isabelle's syntax module, |
|
6 |
which includes a lexer, parser, pretty printer and macro system. Note |
|
7 |
that only the following structures are supposed to be exported: |
|
| 161 | 8 |
|
9 |
Pretty (generic pretty printing module) |
|
| 4689 | 10 |
Scan (generic scanner toolbox) |
11 |
Symbol (baroque characters) |
|
| 235 | 12 |
|
| 2581 | 13 |
Syntax (internal interface to the syntax module) |
| 161 | 14 |
BasicSyntax (part of Syntax made pervasive) |