Mercurial Mercurial > repos > isabelle / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Syntax/README
author wenzelm
Wed, 13 Jan 1999 12:44:33 +0100
changeset 6116 8ba2f25610f7
parent 4940 dd4bbbcd1d22
child 6127 ece970eb5850
permissions -rw-r--r--
files scan.ML, source.ML, symbol.ML, pretty.ML moved to Pure/General;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
4689
wenzelm
parents: 3279
diff changeset 
     1
 







18






c9ec452ff08f
lots of internal cleaning and tuning;



wenzelm


parents: 
0

diff
changeset




     2


                              Pure/Syntax/








0






a5a9c433f639
Initial revision



clasohm


parents: 

diff
changeset




     3









4689





wenzelm


parents: 
3279

diff
changeset




     4













wenzelm


parents: 
3279

diff
changeset




     5


This directory contains the source files for Isabelle's syntax module,












wenzelm


parents: 
3279

diff
changeset




     6


which includes a lexer, parser, pretty printer and macro system. Note








6116






8ba2f25610f7
files scan.ML, source.ML, symbol.ML, pretty.ML moved to Pure/General;



wenzelm


parents: 
4940

diff
changeset




     7


that only the following structures are exported:








235






775dd81a58e5
cosmetic changes;



wenzelm


parents: 
161

diff
changeset




     8









2581





wenzelm


parents: 
235

diff
changeset




     9


  Syntax        (internal interface to the syntax module)








161






d77bd6c76c03
improved comments;



wenzelm


parents: 
18

diff
changeset




    10


  BasicSyntax   (part of Syntax made pervasive)















isabelle