# HG changeset patch
# User wenzelm
# Date 1117530059 -7200
# Node ID 921936bd88476c36c0be5bf251e6f49682296a92
# Parent  7c7da01ff77ecc0a2fd0be56541b121f4d9722c7
removed;

diff -r 7c7da01ff77e -r 921936bd8847 src/Pure/Syntax/README
--- a/src/Pure/Syntax/README	Tue May 31 10:58:51 2005 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,10 +0,0 @@
-
-                              Pure/Syntax/
-
-
-This directory contains the source files for Isabelle's syntax module,
-which includes a lexer, parser, pretty printer and macro system.  Only
-the following structures are exported:
-
-  Syntax        (internal interface to the syntax module)
-  BasicSyntax   (part of Syntax made pervasive)