# HG changeset patch
# User wenzelm
# Date 868259361 -7200
# Node ID 1cb4ea47d967463a0614e03b9118f2d5ff1998c5
# Parent  8493dbe2f009903edfc0eeaf1d86d79052595d98
eliminated chmod -w;

diff -r 8493dbe2f009 -r 1cb4ea47d967 src/CCL/IsaMakefile
--- a/src/CCL/IsaMakefile	Mon Jul 07 09:07:08 1997 +0200
+++ b/src/CCL/IsaMakefile	Mon Jul 07 09:09:21 1997 +0200
@@ -19,7 +19,6 @@
 
 $(OUT)/CCL: $(OUT)/FOL $(SET_FILES) $(CCL_FILES)
 	@$(ISATOOL) usedir -b $(OUT)/FOL CCL
-	@chmod -w $@
 
 $(OUT)/FOL:
 	@cd ../FOL; $(ISATOOL) make
diff -r 8493dbe2f009 -r 1cb4ea47d967 src/CTT/IsaMakefile
--- a/src/CTT/IsaMakefile	Mon Jul 07 09:07:08 1997 +0200
+++ b/src/CTT/IsaMakefile	Mon Jul 07 09:09:21 1997 +0200
@@ -13,7 +13,6 @@
 
 $(OUT)/CTT: $(OUT)/Pure $(FILES)
 	@$(ISATOOL) usedir -b $(OUT)/Pure CTT
-	@chmod -w $@
 
 $(OUT)/Pure:
 	@cd ../Pure; $(ISATOOL) make
diff -r 8493dbe2f009 -r 1cb4ea47d967 src/Cube/IsaMakefile
--- a/src/Cube/IsaMakefile	Mon Jul 07 09:07:08 1997 +0200
+++ b/src/Cube/IsaMakefile	Mon Jul 07 09:09:21 1997 +0200
@@ -9,7 +9,6 @@
 
 $(OUT)/Cube: $(OUT)/Pure $(FILES)
 	@$(ISATOOL) usedir -b $(OUT)/Pure Cube
-	@chmod -w $@
 
 $(OUT)/Pure:
 	@cd ../Pure; $(ISATOOL) make
diff -r 8493dbe2f009 -r 1cb4ea47d967 src/FOL/IsaMakefile
--- a/src/FOL/IsaMakefile	Mon Jul 07 09:07:08 1997 +0200
+++ b/src/FOL/IsaMakefile	Mon Jul 07 09:09:21 1997 +0200
@@ -19,7 +19,6 @@
 
 $(OUT)/FOL: $(OUT)/Pure $(FILES)
 	@$(ISATOOL) usedir -b $(OUT)/Pure FOL
-	@chmod -w $@
 
 $(OUT)/Pure:
 	@cd ../Pure; $(ISATOOL) make
diff -r 8493dbe2f009 -r 1cb4ea47d967 src/FOLP/IsaMakefile
--- a/src/FOLP/IsaMakefile	Mon Jul 07 09:07:08 1997 +0200
+++ b/src/FOLP/IsaMakefile	Mon Jul 07 09:09:21 1997 +0200
@@ -15,7 +15,6 @@
 
 $(OUT)/FOLP: $(OUT)/Pure $(FILES)
 	@$(ISATOOL) usedir -b $(OUT)/Pure FOLP
-	@chmod -w $@
 
 $(OUT)/Pure:
 	@cd ../Pure; $(ISATOOL) make
diff -r 8493dbe2f009 -r 1cb4ea47d967 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Mon Jul 07 09:07:08 1997 +0200
+++ b/src/HOL/IsaMakefile	Mon Jul 07 09:09:21 1997 +0200
@@ -27,7 +27,6 @@
 
 $(OUT)/HOL: $(OUT)/Pure $(FILES)
 	@$(ISATOOL) usedir -b $(OUT)/Pure HOL
-	@chmod -w $@
 
 $(OUT)/Pure:
 	@cd ../Pure; $(ISATOOL) make
diff -r 8493dbe2f009 -r 1cb4ea47d967 src/HOLCF/IsaMakefile
--- a/src/HOLCF/IsaMakefile	Mon Jul 07 09:07:08 1997 +0200
+++ b/src/HOLCF/IsaMakefile	Mon Jul 07 09:09:21 1997 +0200
@@ -29,7 +29,6 @@
 
 $(OUT)/HOLCF: $(OUT)/HOL $(FILES)
 	@$(ISATOOL) usedir -b $(OUT)/HOL HOLCF
-	@chmod -w $@
 
 $(OUT)/HOL:
 	@cd ../HOL; $(ISATOOL) make
diff -r 8493dbe2f009 -r 1cb4ea47d967 src/LCF/IsaMakefile
--- a/src/LCF/IsaMakefile	Mon Jul 07 09:07:08 1997 +0200
+++ b/src/LCF/IsaMakefile	Mon Jul 07 09:09:21 1997 +0200
@@ -9,7 +9,6 @@
 
 $(OUT)/LCF: $(OUT)/FOL $(FILES)
 	@$(ISATOOL) usedir -b $(OUT)/FOL LCF
-	@chmod -w $@
 
 $(OUT)/FOL:
 	@cd ../FOL; $(ISATOOL) make
diff -r 8493dbe2f009 -r 1cb4ea47d967 src/Pure/mk
--- a/src/Pure/mk	Mon Jul 07 09:07:08 1997 +0200
+++ b/src/Pure/mk	Mon Jul 07 09:09:21 1997 +0200
@@ -30,6 +30,4 @@
 $ISABELLE \
   -e "val ml_system = \"$ML_SYSTEM\";" \
   -e "use\"$COMPAT\"; use\"ROOT.ML\" handle _ => exit 1;" \
-  -q RAW_ML_SYSTEM Pure
-
-chmod -w $ISABELLE_OUTPUT/Pure
+  -q -w RAW_ML_SYSTEM Pure
diff -r 8493dbe2f009 -r 1cb4ea47d967 src/Sequents/IsaMakefile
--- a/src/Sequents/IsaMakefile	Mon Jul 07 09:07:08 1997 +0200
+++ b/src/Sequents/IsaMakefile	Mon Jul 07 09:09:21 1997 +0200
@@ -18,7 +18,6 @@
 
 $(OUT)/Sequents: $(OUT)/Pure $(FILES)
 	@$(ISATOOL) usedir -b $(OUT)/Pure Sequents
-	@chmod -w $@
 
 $(OUT)/Pure:
 	@cd ../Pure; $(ISATOOL) make
diff -r 8493dbe2f009 -r 1cb4ea47d967 src/ZF/IsaMakefile
--- a/src/ZF/IsaMakefile	Mon Jul 07 09:07:08 1997 +0200
+++ b/src/ZF/IsaMakefile	Mon Jul 07 09:09:21 1997 +0200
@@ -22,7 +22,6 @@
 
 $(OUT)/ZF: $(OUT)/FOL $(FILES)
 	@$(ISATOOL) usedir -b $(OUT)/FOL ZF
-	@chmod -w $@
 
 $(OUT)/FOL:
 	@cd ../FOL; $(ISATOOL) make