Improved installation message.
HOL-OCL/Isabelle_DOF/master This commit looks good
Details
HOL-OCL/Isabelle_DOF/master This commit looks good
Details
This commit is contained in:
parent
c3ecbc8a24
commit
8fff0730d6
4
install
4
install
|
@ -193,7 +193,7 @@ check_isa_dof_patch
|
|||
check_afp_entries
|
||||
check_old_installation
|
||||
install_and_register
|
||||
echo "* Installation successful. Enjoy Isabelle/DOF, you can now generate all"
|
||||
echo " documents with Isabelle/DOF by executing."
|
||||
echo "* Installation successful. Enjoy Isabelle/DOF, you can now build the session"
|
||||
echo " Isabelle_DOF and all example documents by executing:"
|
||||
echo " $ISABELLE build -D ."
|
||||
exit 0
|
||||
|
|
Loading…
Reference in New Issue