author | wenzelm |
Mon, 16 Nov 1998 10:41:08 +0100 | |
changeset 5869 | b279a84ac11c |
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)