Mercurial Mercurial > hg > nominal2 / 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.
IsaMakefile
changeset 3132 87eca760dcba
parent 3121 878de0084b62
child 3169 b6873d123f9b
child 3173 9876d73adb2b
equal deleted inserted replaced
3131:3e37322465e2 3132:87eca760dcba 
    27 
    27 
    28 tests: $(LOG)/HOL-Nominal2-tests.gz
 
    28 tests: $(LOG)/HOL-Nominal2-tests.gz
 
    29 
    29 
    30 $(LOG)/HOL-Nominal2-tests.gz: Nominal/ROOT.ML Nominal/*.thy
 
    30 $(LOG)/HOL-Nominal2-tests.gz: Nominal/ROOT.ML Nominal/*.thy
 
    31 	@$(USEDIR) HOL Nominal
 
    31 	@$(USEDIR) HOL Nominal
 
       
    32 	@$(USEDIR) HOL Tutorial
 
    32 
    33 
    33 ## ESOP Paper
 
    34 ## ESOP Paper
 
    34 
    35 
    35 esop: $(LOG)/HOL-ESOP-Paper.gz
 
    36 esop: $(LOG)/HOL-ESOP-Paper.gz
 
    36 
    37
nominal2