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 berghofe
Fri, 21 May 2004 21:47:07 +0200
changeset 14798 702cb4859cab
parent 6127 ece970eb5850
permissions -rw-r--r--
Modified functions pt_to_ast and ast_to_term to improve handling of errors in parse (ast) translations caused by ambiguous input.
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