Mercurial Mercurial > hg > nominal2 / diff
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 
--- a/IsaMakefile	Wed Feb 29 17:14:31 2012 +0000
+++ b/IsaMakefile	Mon Mar 05 16:27:28 2012 +0000
@@ -29,6 +29,7 @@
 
 $(LOG)/HOL-Nominal2-tests.gz: Nominal/ROOT.ML Nominal/*.thy
 	@$(USEDIR) HOL Nominal
+	@$(USEDIR) HOL Tutorial
 
 ## ESOP Paper
nominal2