Mercurial Mercurial > wneuper > isa / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
doc-src/IsarRef/IsaMakefile
changeset 26767 cc127cc0951b
parent 26758 72af85f6d70b
child 26779 35809287ab23
equal deleted inserted replaced
26766:0e2a29a1065c 26767:cc127cc0951b 
    20 ## Thy
 
    20 ## Thy
 
    21 
    21 
    22 Thy: $(LOG)/HOL-Thy.gz
 
    22 Thy: $(LOG)/HOL-Thy.gz
 
    23 
    23 
    24 $(LOG)/HOL-Thy.gz: Thy/ROOT.ML ../antiquote_setup.ML Thy/intro.thy \
 
    24 $(LOG)/HOL-Thy.gz: Thy/ROOT.ML ../antiquote_setup.ML Thy/intro.thy \
 
    25   Thy/syntax.thy
 
    25   Thy/pure.thy Thy/syntax.thy
 
    26 	@$(USEDIR) HOL Thy
 
    26 	@$(USEDIR) HOL Thy
 
    27 
    27 
    28 
    28 
    29 ## clean
 
    29 ## clean
 
    30 
    30
wneuper/isa