| changeset 26846 | 2e6726015771 |
| parent 26840 | ec46381f149d |
| child 26849 | df50bc1249d7 |
--- a/doc-src/IsarRef/IsaMakefile Wed May 07 13:38:15 2008 +0200 +++ b/doc-src/IsarRef/IsaMakefile Wed May 07 15:32:31 2008 +0200 @@ -22,7 +22,8 @@ HOL-IsarRef: $(LOG)/HOL-IsarRef.gz $(LOG)/HOL-IsarRef.gz: Thy/ROOT.ML ../antiquote_setup.ML Thy/intro.thy \ - Thy/syntax.thy Thy/pure.thy Thy/Generic.thy Thy/Quick_Reference.thy + Thy/syntax.thy Thy/pure.thy Thy/Generic.thy Thy/Quick_Reference.thy \ + Thy/ML_Tactic.thy @$(USEDIR) -s IsarRef HOL Thy