src/Doc/Logics/document/preface.tex
changeset 68649 f849fc1cb65e
parent 52552 0260bdba4dd7
     1.1 --- a/src/Doc/Logics/document/preface.tex	Wed Jul 18 12:21:55 2018 +0200
     1.2 +++ b/src/Doc/Logics/document/preface.tex	Wed Jul 18 16:44:01 2018 +0200
     1.3 @@ -56,7 +56,7 @@
     1.4  \begin{center}\small
     1.5    \begin{tabular}{l}
     1.6      \url{http://www.cl.cam.ac.uk/Research/HVG/Isabelle/library/} \\
     1.7 -    \url{http://isabelle.in.tum.de/library/} \\
     1.8 +    \url{https://isabelle.in.tum.de/library/} \\
     1.9    \end{tabular}
    1.10  \end{center}
    1.11