| changeset 11279 | aaa0ad8fea6b |
| parent 11249 | a0e3c67c1394 |
| child 11389 | 55e2aef8909b |
--- a/doc-src/TutorialI/IsaMakefile Wed May 02 11:54:18 2001 +0200 +++ b/doc-src/TutorialI/IsaMakefile Thu May 03 10:27:04 2001 +0200 @@ -36,6 +36,8 @@ @rm -f */document/isabellesym.sty @rm -f */document/pdfsetup.sty @rm -f */document/session.tex + @rm -f Rules/document/*.tex + @rm -f Sets/document/*.tex ## HOL-Ifexpr