author | nipkow |
Thu, 26 Nov 1998 12:18:08 +0100 | |
changeset 5974 | 6acf3ff0f486 |
parent 4940 | dd4bbbcd1d22 |
child 6116 | 8ba2f25610f7 |
permissions | -rw-r--r-- |
Pure/Syntax/ This directory contains the source files for Isabelle's syntax module, which includes a lexer, parser, pretty printer and macro system. Note that only the following structures are supposed to be exported: Pretty (generic pretty printing module) Scan (generic scanner toolbox) Source (co-algebraic data sources) Symbol (generalized characters) Syntax (internal interface to the syntax module) BasicSyntax (part of Syntax made pervasive)