| changeset 2768 | bc6d915b8019 |
| parent 2474 | 9990f088d7ac |
| child 3056 | 200565f7592a |
--- a/src/Pure/mk Fri Mar 07 15:29:46 1997 +0100 +++ b/src/Pure/mk Fri Mar 07 15:30:23 1997 +0100 @@ -29,6 +29,6 @@ $ISABELLE \ -e "val ml_system = \"$ML_SYSTEM\";" \ -e "use\"$COMPAT\"; use\"ROOT.ML\" handle _ => exit 1;" \ - -cq SYSTEM Pure + -cq RAW_ML_SYSTEM Pure chmod -w $ISABELLE_OUTPUT_DIR/Pure