src/Pure/Syntax/README

lots of internal cleaning and tuning;
removed {parse,print}_{pre,post}_proc;
new lexer: now human readable due to scanner combinators;
new parser installed, but still inactive (due to grammar ambiguities);
added Syntax.test_read;
typ_of_term: sorts now made distinct and sorted;
mixfix: added forced line breaks (//);
PROP now printed before subterm of type prop with non-const head;

                              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
structures Pretty, Syntax and BasicSyntax are supposed to be exported.

There is no Makefile to compile these files separately; they are compiled as
part of Pure Isabelle.