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.
corrected Pure dependency
authorhaftmann
Tue, 29 Jul 2008 14:07:23 +0200
changeset 27694 31a8e0908b9f
parent 27693 73253a4e3ee2
child 27695 033732c90ebd
corrected Pure dependency
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/HOL/IsaMakefile	Tue Jul 29 13:16:54 2008 +0200
+++ b/src/HOL/IsaMakefile	Tue Jul 29 14:07:23 2008 +0200
@@ -69,6 +69,8 @@
 Pure:
 	@cd $(SRC)/Pure; $(ISATOOL) make Pure
 
+$(OUT)/Pure: Pure
+
 $(OUT)/HOL-Plain: $(OUT)/Pure \
   plain.ML \
   Code_Setup.thy \
isabelle