				SYNTAX

This directory contains the source files for the parser/prettyprinter
generator.  There are no Makefiles to compile these separately; they are
compiled as part of Pure Isabelle (the parent of this directory).
