src/Pure/Syntax/README
author clasohm
Thu Sep 16 12:20:38 1993 +0200 (1993-09-16)
changeset 0 a5a9c433f639
child 18 c9ec452ff08f
permissions -rw-r--r--
Initial revision
clasohm@0
     1
                              Pure/Syntax
clasohm@0
     2
clasohm@0
     3
This directory contains the source files for Isabelle's syntax module. Which
clasohm@0
     4
includes a lexer, parser, pretty printer and macro system.
clasohm@0
     5
clasohm@0
     6
There is no Makefile to compile these files separately; they are compiled as
clasohm@0
     7
part of Pure Isabelle.
clasohm@0
     8