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