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 3200 995d47b09ab4
parent 3186 425b4c406d80
child 3208 da575186d492
equal deleted inserted replaced
3199:93e7c1d8cc5c 3200:995d47b09ab4 
    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 	@$(USEDIR) HOL Tutorial
 
    33 	@$(USEDIR) HOL Nominal/Ex/CPS
 
    33 #	@$(USEDIR) HOL Nominal/Ex/CPS
 
    34 
    34 
    35 ## ESOP Paper
 
    35 ## ESOP Paper
 
    36 
    36 
    37 esop: $(LOG)/HOL-ESOP-Paper.gz
 
    37 esop: $(LOG)/HOL-ESOP-Paper.gz
 
    38 
    38
nominal2