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
Fri, 11 Jan 2002 00:28:43 +0100
changeset 12709 e29800eba5d1
parent 6127 ece970eb5850
permissions -rw-r--r--
IsarThy.theorems_i;
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,








6127






ece970eb5850
tuned README;



wenzelm


parents: 
6116

diff
changeset




     6


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













ece970eb5850
tuned README;



wenzelm


parents: 
6116

diff
changeset




     7


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