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 2480 ac7dff1194e8
parent 2479 a9b6a00b1ba0
child 2519 3e9b4ce0aeca 
--- a/IsaMakefile	Sat Sep 18 06:09:43 2010 +0800
+++ b/IsaMakefile	Mon Sep 20 21:52:45 2010 +0800
@@ -20,8 +20,8 @@
 
 tests: $(LOG)/HOL-Nominal2.gz
 
-#$(LOG)/HOL-Nominal2.gz: Nominal/ROOT.ML Nominal/*.thy
-#	@cd Nominal; $(USEDIR) -b -d "" HOL Nominal
+$(LOG)/HOL-Nominal2.gz: Nominal/ROOT.ML Nominal/*.thy
+	@cd Nominal; $(USEDIR) -b -d "" HOL Nominal
 
 ## Nominal2 Paper
nominal2