Mercurial Mercurial > hg > nominal2 / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned IsaMakefile
authorChristian Urban <urbanc@in.tum.de>
Wed, 30 Mar 2011 08:11:36 +0200
changeset 2749 7cf2d79d8d5e
parent 2748 6f38e357b337
child 2750 43283267737c
tuned IsaMakefile
IsaMakefile file | annotate | diff | comparison | revisions 
--- a/IsaMakefile	Tue Mar 29 23:52:14 2011 +0200
+++ b/IsaMakefile	Wed Mar 30 08:11:36 2011 +0200
@@ -21,14 +21,14 @@
 tests: $(LOG)/HOL-Nominal2.gz
 
 $(LOG)/HOL-Nominal2.gz: Nominal/ROOT.ML Nominal/*.thy
-	@cd Nominal; $(USEDIR) -b -d "" HOL Nominal
+	@cd Nominal; $(USEDIR) -b -d "" HOL Nominal2
 
 ## ESOP Paper
 
 esop: $(LOG)/HOL-ESOP-Paper.gz
 
 $(LOG)/HOL-ESOP-Paper.gz: ESOP-Paper/ROOT.ML ESOP-Paper/document/root.* ESOP-Paper/*.thy
-	@$(USEDIR) -f ROOT.ML -D generated HOL-Nominal2 ESOP-Paper
+	@$(USEDIR) -f ROOT.ML -D generated Nominal2 ESOP-Paper
 	$(ISABELLE_TOOL) document -o pdf  ESOP-Paper/generated
 	@cp ESOP-Paper/document.pdf esop-paper.pdf
nominal2