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.
removed duplicate target;
authorwenzelm
Sat, 06 Oct 2007 22:07:15 +0200
changeset 24877 81147215a12c
parent 24876 81ed46bc0420
child 24878 7ed3077528b6
removed duplicate target;
src/Cube/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/Cube/IsaMakefile	Sat Oct 06 22:06:11 2007 +0200
+++ b/src/Cube/IsaMakefile	Sat Oct 06 22:07:15 2007 +0200
@@ -26,8 +26,6 @@
 Pure:
 	@cd $(SRC)/Pure; $(ISATOOL) make Pure
 
-Pure-Cube: Pure $(LOG)/Pure-Cube.gz
-
 $(LOG)/Pure-Cube.gz: $(OUT)/Pure Cube.thy Example.thy ROOT.ML
 	@cd ..; $(ISATOOL) usedir $(OUT)/Pure Cube
isabelle