1.1 --- a/doc-src/IsarRef/IsaMakefile	Wed May 07 10:59:54 2008 +0200
     1.2 +++ b/doc-src/IsarRef/IsaMakefile	Wed May 07 12:38:55 2008 +0200
     1.3 @@ -1,9 +1,9 @@
     1.4  
     1.5  ## targets
     1.6  
     1.7 -default: Thy
     1.8 +default: HOL-IsarRef HOLCF-IsarRef ZF-IsarRef
     1.9  images: 
    1.10 -test: Thy
    1.11 +test: HOL-IsarRef HOLCF-IsarRef ZF-IsarRef
    1.12  
    1.13  all: images test
    1.14  
    1.15 @@ -17,16 +17,28 @@
    1.16  USEDIR = $(ISATOOL) usedir -v true -i false -d false -C false -D document
    1.17  
    1.18  
    1.19 -## Thy
    1.20 +## IsarRef sessions
    1.21  
    1.22 -Thy: $(LOG)/HOL-Thy.gz
    1.23 +HOL-IsarRef: $(LOG)/HOL-IsarRef.gz
    1.24  
    1.25 -$(LOG)/HOL-Thy.gz: Thy/ROOT.ML ../antiquote_setup.ML Thy/intro.thy \
    1.26 +$(LOG)/HOL-IsarRef.gz: Thy/ROOT.ML ../antiquote_setup.ML Thy/intro.thy \
    1.27    Thy/syntax.thy Thy/pure.thy Thy/Generic.thy Thy/Quick_Reference.thy
    1.28 -	@$(USEDIR) HOL Thy
    1.29 +	@$(USEDIR) -s IsarRef HOL Thy
    1.30 +
    1.31 +
    1.32 +HOLCF-IsarRef: $(LOG)/HOLCF-IsarRef.gz
    1.33 +
    1.34 +$(LOG)/HOLCF-IsarRef.gz: Thy/ROOT-HOLCF.ML ../antiquote_setup.ML Thy/HOLCF_Specific.thy
    1.35 +	@$(USEDIR) -s IsarRef -f ROOT-HOLCF.ML HOLCF Thy
    1.36 +
    1.37 +
    1.38 +ZF-IsarRef: $(LOG)/ZF-IsarRef.gz
    1.39 +
    1.40 +$(LOG)/ZF-IsarRef.gz: Thy/ROOT-ZF.ML ../antiquote_setup.ML Thy/ZF_Specific.thy
    1.41 +	@$(USEDIR) -s IsarRef -f ROOT-ZF.ML ZF Thy
    1.42  
    1.43  
    1.44  ## clean
    1.45  
    1.46  clean:
    1.47 -	@rm -f $(LOG)/HOL-Thy.gz
    1.48 +	@rm -f $(LOG)/HOL-IsarRef.gz $(LOG)/HOLCF-IsarRef.gz $(LOG)/ZF-IsarRef.gz