Fixed spelling in info/warning/error messages.
HOL-OCL/Isabelle_DOF/master There was a failure building this commit
Details
HOL-OCL/Isabelle_DOF/master There was a failure building this commit
Details
This commit is contained in:
parent
d5e295c7f3
commit
e4c1356a79
4
install
4
install
|
@ -114,7 +114,7 @@ check_afp_entries() {
|
||||||
}
|
}
|
||||||
|
|
||||||
check_isa_dof_patch() {
|
check_isa_dof_patch() {
|
||||||
echo "* Check availabilty of Isabelle/DOF patch:"
|
echo "* Check availability of Isabelle/DOF patch:"
|
||||||
src="patches/thy_output.ML"
|
src="patches/thy_output.ML"
|
||||||
dst="$ISABELLE_HOME/src/Pure/Thy/thy_output.ML"
|
dst="$ISABELLE_HOME/src/Pure/Thy/thy_output.ML"
|
||||||
|
|
||||||
|
@ -152,7 +152,7 @@ check_old_installation(){
|
||||||
rm -rf "$ISABELLE_HOME_USER/DOF.bak"
|
rm -rf "$ISABELLE_HOME_USER/DOF.bak"
|
||||||
mv "$ISABELLE_HOME_USER/DOF" "$ISABELLE_HOME_USER/DOF.bak"
|
mv "$ISABELLE_HOME_USER/DOF" "$ISABELLE_HOME_USER/DOF.bak"
|
||||||
else
|
else
|
||||||
echo " No old instllation found."
|
echo " No old installation found."
|
||||||
fi
|
fi
|
||||||
|
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in New Issue