Commit 03f7bc84 authored by Gerwin Klein's avatar Gerwin Klein
Browse files

Use HTTPS in BibTeX URLs (by Martin Desharnais)

parent bea58471d96a
......@@ -128,7 +128,7 @@
journal = {Archive of Formal Proofs},
month = {{ entry.publish_date.month|short_month }},
year = {{ entry.publish_date.year }},
note = {\url{http://isa-afp.org/entries/{{ entry.name }}.html},
note = {\url{https://isa-afp.org/entries/{{ entry.name }}.html},
Formal proof development},
ISSN = {2150-914x},
}</pre>
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment