Mercurial Mercurial > repos > isabelle / 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.
added dep on IMP/Compiler0
authornipkow
Fri, 10 May 2002 11:55:45 +0200
changeset 13129 bb448fb75191
parent 13128 99f6a9f0328a
child 13130 423ce375bf65
added dep on IMP/Compiler0
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/HOL/IsaMakefile	Fri May 10 10:22:45 2002 +0200
+++ b/src/HOL/IsaMakefile	Fri May 10 11:55:45 2002 +0200
@@ -233,7 +233,7 @@
 
 HOL-IMP: HOL $(LOG)/HOL-IMP.gz
 
-$(LOG)/HOL-IMP.gz: $(OUT)/HOL IMP/Com.thy IMP/Compiler.thy \
+$(LOG)/HOL-IMP.gz: $(OUT)/HOL IMP/Com.thy IMP/Compiler0.thy IMP/Compiler.thy \
   IMP/Denotation.thy IMP/Expr.thy IMP/Hoare.thy \
   IMP/Natural.thy IMP/Examples.thy \
   IMP/Transition.thy IMP/VC.thy IMP/ROOT.ML IMP/document/root.tex \
isabelle