# HG changeset patch # User Christian Urban # Date 1301465496 -7200 # Node ID 7cf2d79d8d5e0acd802f451b4c9f92682847fe23 # Parent 6f38e357b3378cd3629edd170a28946cd174348e tuned IsaMakefile diff -r 6f38e357b337 -r 7cf2d79d8d5e IsaMakefile --- 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