Fixed link to the Isabelle website.
Isabelle_DOF/Isabelle_DOF/master This commit looks good
Details
Isabelle_DOF/Isabelle_DOF/master This commit looks good
Details
This commit is contained in:
parent
cb91c97028
commit
803fea739e
|
@ -41,7 +41,7 @@ text\<open>
|
|||
paragraph\<open>Installing Isabelle\<close>
|
||||
text\<open>
|
||||
Please download and install the Isabelle \isabelleversion distribution for your operating system
|
||||
from the \href{\isabelleurl}{Isabelle website} (\url{isabelleurl}). After the successful
|
||||
from the \href{\isabelleurl}{Isabelle website} (\url{\isabelleurl}). After the successful
|
||||
installation of Isabelle, you should be able to call the \inlinebash|isabelle| tool on the
|
||||
command line:
|
||||
|
||||
|
|
Loading…
Reference in New Issue