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.
clean: added HOL-Main;
authorwenzelm
Sat, 15 Nov 2008 21:31:15 +0100
changeset 28798 a0dd52dd7b55
parent 28797 9dcd32ee5dbe
child 28799 ee65e7d043fc
clean: added HOL-Main;
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/HOL/IsaMakefile	Sat Nov 15 21:31:13 2008 +0100
+++ b/src/HOL/IsaMakefile	Sat Nov 15 21:31:15 2008 +0100
@@ -1016,7 +1016,7 @@
 ## clean
 
 clean:
-	@rm -f  $(OUT)/HOL-Plain $(OUT)/HOL $(OUT)/HOL-Nominal $(OUT)/TLA \
+	@rm -f  $(OUT)/HOL-Plain $(OUT)/HOL-Main $(OUT)/HOL $(OUT)/HOL-Nominal $(OUT)/TLA \
 		$(LOG)/HOL.gz $(LOG)/TLA.gz \
 		$(LOG)/HOL-Isar_examples.gz $(LOG)/HOL-Induct.gz \
 		$(LOG)/HOL-ex.gz $(LOG)/HOL-Subst.gz $(LOG)/HOL-IMP.gz \
isabelle