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
     1                               Pure/Syntax
     2 
     3 This directory contains the source files for Isabelle's syntax module. Which
     4 includes a lexer, parser, pretty printer and macro system.
     5 
     6 There is no Makefile to compile these files separately; they are compiled as
     7 part of Pure Isabelle.
     8