pierre.derathe
/
Isabelle_DOF
Archived
forked from Isabelle_DOF/Isabelle_DOF
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Minor improvement of error message.

This commit is contained in:
Achim D. Brucker 2019-01-06 12:28:14 +00:00
parent 0614d594a7
commit f2d3ff9918
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
install
View File

@ -58,7 +58,7 @@ check_isabelle_version() {
echo " IS NOT SUPPORTED"
echo " by the current version of Isabelle/DOF. Please install a supported"
echo " version of Isabelle and rerun the install script, providing the"
echo " the \"isabelle\" binary as argument."
echo " the \"isabelle\" command as argument."
echo " Isabelle 2017 can be obtained from:"
echo " $ISABELLE_URL"
echo