Mercurial Mercurial > wneuper > isa / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
src/Pure/mk
changeset 3118 24dae6222579
parent 3056 200565f7592a
child 3505 1cb4ea47d967
equal deleted inserted replaced
3117:74c1b51c1cd9 3118:24dae6222579 
    30 $ISABELLE \
 
    30 $ISABELLE \
 
    31   -e "val ml_system = \"$ML_SYSTEM\";" \
 
    31   -e "val ml_system = \"$ML_SYSTEM\";" \
 
    32   -e "use\"$COMPAT\"; use\"ROOT.ML\" handle _ => exit 1;" \
 
    32   -e "use\"$COMPAT\"; use\"ROOT.ML\" handle _ => exit 1;" \
 
    33   -q RAW_ML_SYSTEM Pure
 
    33   -q RAW_ML_SYSTEM Pure
 
    34 
    34 
    35 chmod -w $ISABELLE_OUTPUT_DIR/Pure
 
    35 chmod -w $ISABELLE_OUTPUT/Pure
wneuper/isa