# HG changeset patch # User wenzelm # Date 1028843211 -7200 # Node ID 796a5b766c2ef0cb152912833de67e58fa85781d # Parent bb72bd43c6c314fb7f4b40aa63a167a271e01250 tuned deps; diff -r bb72bd43c6c3 -r 796a5b766c2e src/HOL/IsaMakefile --- a/src/HOL/IsaMakefile Thu Aug 08 23:46:09 2002 +0200 +++ b/src/HOL/IsaMakefile Thu Aug 08 23:46:51 2002 +0200 @@ -611,7 +611,7 @@ Isar_examples/Puzzle.thy Isar_examples/Summation.thy \ Isar_examples/ROOT.ML Isar_examples/document/proof.sty \ Isar_examples/document/root.bib Isar_examples/document/root.tex \ - Isar_examples/document/style.tex + Isar_examples/document/style.tex Hoare/Hoare.ML @$(ISATOOL) usedir $(OUT)/HOL Isar_examples