Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
removed;
authorwenzelm
Tue, 31 May 2005 11:00:59 +0200
changeset 16118 921936bd8847
parent 16117 7c7da01ff77e
child 16119 c0916ed7b8e9
removed;
src/Pure/Syntax/README file | annotate | diff | comparison | revisions 
--- 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)
isabelle