src/Pure/Thy/bibtex.scala

--- a/src/Pure/Thy/bibtex.scala	Sat May 19 20:42:34 2018 +0200
+++ b/src/Pure/Thy/bibtex.scala	Sun May 20 11:57:17 2018 +0200
@@ -402,7 +402,7 @@
   private def keyword(source: String): Token = Token(Token.Kind.KEYWORD, source)
 
 
-  // See also http://ctan.org/tex-archive/biblio/bibtex/base/bibtex.web
+  // See also https://ctan.org/tex-archive/biblio/bibtex/base/bibtex.web
   // module @<Scan for and process a \.{.bib} command or database entry@>.
 
   object Parsers extends RegexParsers