src/Doc/Prog_Prove/document/intro-isabelle.tex
changeset 68649 f849fc1cb65e
parent 64852 f3504bc69ea3
child 68791 5e7b3e6625eb
     1.1 --- a/src/Doc/Prog_Prove/document/intro-isabelle.tex	Wed Jul 18 12:21:55 2018 +0200
     1.2 +++ b/src/Doc/Prog_Prove/document/intro-isabelle.tex	Wed Jul 18 16:44:01 2018 +0200
     1.3 @@ -56,7 +56,7 @@
     1.4  
     1.5  If you have not done so already, download and install Isabelle
     1.6  (this book is compatible with Isabelle2016-1)
     1.7 -from \url{http://isabelle.in.tum.de}. You can start it by clicking
     1.8 +from \url{https://isabelle.in.tum.de}. You can start it by clicking
     1.9  on the application icon. This will launch Isabelle's
    1.10  user interface based on the text editor \concept{jEdit}. Below you see
    1.11  a typical example snapshot of a session. At this point we merely explain