equal
deleted
inserted
replaced
|
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 |