equal
deleted
inserted
replaced
5 following structures are supposed to be exported: |
5 following structures are supposed to be exported: |
6 |
6 |
7 Pretty (generic pretty printing module) |
7 Pretty (generic pretty printing module) |
8 Scanner (generic scanner toolbox) |
8 Scanner (generic scanner toolbox) |
9 |
9 |
10 Syntax (interface to the syntax module) |
10 Syntax (internal interface to the syntax module) |
11 BasicSyntax (part of Syntax made pervasive) |
11 BasicSyntax (part of Syntax made pervasive) |
12 |
12 |
13 There is no Makefile to compile these files separately; they are compiled as |
13 There is no Makefile to compile these files separately; they are compiled as |
14 part of Pure Isabelle. |
14 part of Pure Isabelle. |
15 |
15 |