| changeset 7050 | c70d3402fef5 |
| parent 7046 | 9f755ff43cff |
| child 7134 | 320b412e5800 |
--- a/doc-src/IsarRef/Makefile Tue Jul 20 10:34:17 1999 +0200 +++ b/doc-src/IsarRef/Makefile Tue Jul 20 18:50:46 1999 +0200 @@ -14,7 +14,7 @@ NAME = isar-ref FILES = isar-ref.tex intro.tex basics.tex syntax.tex pure.tex \ - simplifier.tex classical.tex hol.tex \ + simplifier.tex classical.tex hol.tex ../isar.sty \ ../rail.sty ../proof.sty ../iman.sty ../extra.sty ../manual.bib dvi: $(NAME).dvi