Mercurial Mercurial > repos > isabelle / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
doc-src/TutorialI/IsarOverview/IsaMakefile
changeset 13619 584291949c23
parent 13307 cf076cdcfbf3
equal deleted inserted replaced
13618:12290bdce807 13619:584291949c23 
    12 
    12 
    13 ## Isar
 
    13 ## Isar
 
    14 
    14 
    15 Isar: $(LOG)/HOL-Isar.gz
 
    15 Isar: $(LOG)/HOL-Isar.gz
 
    16 
    16 
    17 $(LOG)/HOL-Isar.gz: Isar/ROOT.ML Isar/document/root.tex Isar/document/root.bib Isar/*.thy
 
    17 $(LOG)/HOL-Isar.gz: Isar/ROOT.ML Isar/document/intro.tex \
 
       
    18   Isar/document/root.tex Isar/document/root.bib Isar/*.thy
 
    18 	@$(USEDIR) HOL Isar
 
    19 	@$(USEDIR) HOL Isar
 
    19 
    20 
    20 
    21 
    21 ## clean
 
    22 ## clean
 
    22 
    23
isabelle