src/Doc/Sugar/document/root.bib
changeset 68649 f849fc1cb65e
parent 56420 b266e7a86485
     1.1 --- a/src/Doc/Sugar/document/root.bib	Wed Jul 18 12:21:55 2018 +0200
     1.2 +++ b/src/Doc/Sugar/document/root.bib	Wed Jul 18 16:44:01 2018 +0200
     1.3 @@ -8,5 +8,5 @@
     1.4  
     1.5  @misc{tar,author={Gerwin Klein and Norber Schirmer and Tobias Nipkow},
     1.6  title={{LaTeX} sugar theories and support files}, 
     1.7 -note={\url{http://isabelle.in.tum.de/sugar.tar.gz}}}
     1.8 +note={\url{https://isabelle.in.tum.de/sugar.tar.gz}}}
     1.9