author | wenzelm |
Thu, 06 Feb 1997 17:46:22 +0100 | |
changeset 2585 | 8b92caca102c |
parent 2581 | e08c25821e08 |
child 3279 | 815ef5848324 |
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) Scanner (generic scanner toolbox) Syntax (internal interface to the syntax module) BasicSyntax (part of Syntax made pervasive) There is no Makefile to compile these files separately; they are compiled as part of Pure Isabelle.