Mercurial Mercurial > wneuper > isa / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | bz2 | gz | help
clean target;
authorwenzelm
Thu, 11 Nov 1999 11:29:11 +0100
changeset 80088916ea9ec178
parent 8007 c29e27ee4933
child 8009 29a7a79ee7f4
clean target;
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
     1.1 --- a/src/HOL/IsaMakefile	Thu Nov 11 11:27:31 1999 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Thu Nov 11 11:29:11 1999 +0100
     1.3 @@ -454,7 +454,7 @@
     1.4  clean:
     1.5  	@rm -f $(OUT)/HOL $(OUT)/HOL-Real $(LOG)/HOL.gz $(LOG)/HOL-Subst.gz \
     1.6  	  $(LOG)/HOL-Induct.gz $(LOG)/HOL-IMP.gz $(LOG)/HOL-Hoare.gz \
     1.7 -	  $(LOG)/HOL-Lex.gz $(LOG)/HOL-Auth.gz $(LOG)/HOL-UNITY.gz \
     1.8 +	  $(LOG)/HOL-Lex.gz $(LOG)/HOL-Algebra.gz $(LOG)/HOL-Auth.gz $(LOG)/HOL-UNITY.gz \
     1.9  	  $(LOG)/HOL-Modelcheck.gz $(LOG)/HOL-Lambda.gz \
    1.10  	  $(LOG)/HOL-W0.gz $(LOG)/HOL-MiniML.gz $(LOG)/HOL-BCV.gz $(LOG)/HOL-IOA.gz \
    1.11  	  $(LOG)/HOL-AxClasses-Group.gz		\
wneuper/isa