1.1 --- a/doc-src/IsarRef/IsaMakefile	Wed May 07 13:38:15 2008 +0200
     1.2 +++ b/doc-src/IsarRef/IsaMakefile	Wed May 07 15:32:31 2008 +0200
     1.3 @@ -22,7 +22,8 @@
     1.4  HOL-IsarRef: $(LOG)/HOL-IsarRef.gz
     1.5  
     1.6  $(LOG)/HOL-IsarRef.gz: Thy/ROOT.ML ../antiquote_setup.ML Thy/intro.thy \
     1.7 -  Thy/syntax.thy Thy/pure.thy Thy/Generic.thy Thy/Quick_Reference.thy
     1.8 +  Thy/syntax.thy Thy/pure.thy Thy/Generic.thy Thy/Quick_Reference.thy \
     1.9 +  Thy/ML_Tactic.thy
    1.10  	@$(USEDIR) -s IsarRef HOL Thy
    1.11  
    1.12