src/HOL/IsaMakefile
changeset 3505 1cb4ea47d967
parent 3482 ef918a90f9bf
child 3540 acd60238f191
     1.1 --- a/src/HOL/IsaMakefile	Mon Jul 07 09:07:08 1997 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Mon Jul 07 09:09:21 1997 +0200
     1.3 @@ -27,7 +27,6 @@
     1.4  
     1.5  $(OUT)/HOL: $(OUT)/Pure $(FILES)
     1.6  	@$(ISATOOL) usedir -b $(OUT)/Pure HOL
     1.7 -	@chmod -w $@
     1.8  
     1.9  $(OUT)/Pure:
    1.10  	@cd ../Pure; $(ISATOOL) make