| changeset 11647 | 0538cb0f7999 |
| parent 11430 | c51de60e26cf |
| child 12577 | 56eb790f3a03 |
--- a/doc-src/TutorialI/Makefile Mon Oct 01 14:42:47 2001 +0200 +++ b/doc-src/TutorialI/Makefile Mon Oct 01 14:44:00 2001 +0200 @@ -22,6 +22,7 @@ Protocol/protocol.tex \ Rules/rules.tex Sets/sets.tex \ Types/numerics.tex Types/records.tex Types/types.tex \ + Documents/documents.tex \ ../iman.sty ../ttbox.sty ../extra.sty \ isabelle.sty isabellesym.sty ../pdfsetup.sty