author | wenzelm |
Wed, 16 Apr 1997 18:17:38 +0200 | |
changeset 2960 | a6b56d03ed0d |
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.