| author | wenzelm |
| Mon, 09 Mar 1998 16:07:03 +0100 | |
| changeset 4689 | 49d116fdcafa |
| parent 3279 | 815ef5848324 |
| 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) |