src/Doc/Locales/document/root.bib
changeset 68649 f849fc1cb65e
parent 48985 5386df44a037
     1.1 --- a/src/Doc/Locales/document/root.bib	Wed Jul 18 12:21:55 2018 +0200
     1.2 +++ b/src/Doc/Locales/document/root.bib	Wed Jul 18 16:44:01 2018 +0200
     1.3 @@ -1,7 +1,7 @@
     1.4  @unpublished{IsarRef,
     1.5    author = "Markus Wenzel",
     1.6    title = "The {Isabelle/Isar} Reference Manual",
     1.7 -  note = "Part of the Isabelle distribution, \url{http://isabelle.in.tum.de/doc/isar-ref.pdf}."
     1.8 +  note = "Part of the Isabelle distribution, \url{https://isabelle.in.tum.de/doc/isar-ref.pdf}."
     1.9  }
    1.10  
    1.11  @book {Jacobson1985,