| changeset 3279 | 815ef5848324 |
| parent 2581 | e08c25821e08 |
| child 4689 | 49d116fdcafa |
--- a/src/Pure/Syntax/README Wed May 21 17:11:46 1997 +0200 +++ b/src/Pure/Syntax/README Wed May 21 17:13:00 1997 +0200 @@ -10,6 +10,5 @@ Syntax (internal interface to the syntax module) BasicSyntax (part of Syntax made pervasive) -There is no Makefile to compile these files separately; they are compiled as -part of Pure Isabelle. - +There is no IsaMakefile to compile these files separately; they are +compiled as part of Pure Isabelle.