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: HOL-Plain;
authorwenzelm
Tue, 01 Jul 2008 21:20:18 +0200
changeset 27431 9a7f5515f954
parent 27430 1e25ac05cd87
child 27432 c5ec309c6de8
clean: HOL-Plain;
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/HOL/IsaMakefile	Tue Jul 01 20:26:48 2008 +0200
+++ b/src/HOL/IsaMakefile	Tue Jul 01 21:20:18 2008 +0200
@@ -967,7 +967,7 @@
 ## clean
 
 clean:
-	@rm -f  $(OUT)/HOL $(OUT)/HOL-Nominal $(OUT)/TLA \
+	@rm -f  $(OUT)/HOL-Plain $(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