diff -r 000000000000 -r a5a9c433f639 src/Pure/Syntax/README
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Pure/Syntax/README	Thu Sep 16 12:20:38 1993 +0200
@@ -0,0 +1,8 @@
+                              Pure/Syntax
+
+This directory contains the source files for Isabelle's syntax module. Which
+includes a lexer, parser, pretty printer and macro system.
+
+There is no Makefile to compile these files separately; they are compiled as
+part of Pure Isabelle.
+