|
0
|
1 |
Pure/Syntax
|
|
|
2 |
|
|
|
3 |
This directory contains the source files for Isabelle's syntax module. Which
|
|
|
4 |
includes a lexer, parser, pretty printer and macro system.
|
|
|
5 |
|
|
|
6 |
There is no Makefile to compile these files separately; they are compiled as
|
|
|
7 |
part of Pure Isabelle.
|
|
|
8 |
|