src/Doc/Tutorial/document/preface.tex
changeset 68649 f849fc1cb65e
parent 48985 5386df44a037
     1.1 --- a/src/Doc/Tutorial/document/preface.tex	Wed Jul 18 12:21:55 2018 +0200
     1.2 +++ b/src/Doc/Tutorial/document/preface.tex	Wed Jul 18 16:44:01 2018 +0200
     1.3 @@ -35,7 +35,7 @@
     1.4  from output generated in this way.  The final chapter of Part~I explains how
     1.5  users may produce their own formal documents in a similar fashion.
     1.6  
     1.7 -Isabelle's \hfootref{http://isabelle.in.tum.de/}{web site} contains
     1.8 +Isabelle's \hfootref{https://isabelle.in.tum.de/}{web site} contains
     1.9  links to the download area and to documentation and other information.
    1.10  The classic Isabelle user interface is Proof~General~/ Emacs by David
    1.11  Aspinall's\index{Aspinall, David}.  This book says very little about