src/Doc/Sledgehammer/document/root.tex
changeset 68649 f849fc1cb65e
parent 68565 1b9462304e1d
     1.1 --- a/src/Doc/Sledgehammer/document/root.tex	Wed Jul 18 12:21:55 2018 +0200
     1.2 +++ b/src/Doc/Sledgehammer/document/root.tex	Wed Jul 18 16:44:01 2018 +0200
     1.3 @@ -13,7 +13,7 @@
     1.4  %\usepackage[scaled=.85]{beramono}
     1.5  \usepackage{isabelle,iman,pdfsetup}
     1.6  
     1.7 -\newcommand\download{\url{http://isabelle.in.tum.de/components/}}
     1.8 +\newcommand\download{\url{https://isabelle.in.tum.de/components/}}
     1.9  
    1.10  \let\oldS=\S
    1.11  \def\S{\oldS\,}