search

coq / coq.github.io

Source files of the coq.inria.fr website
https://coq.inria.fr/
Other
15 stars 37 forks source link

Missing right curly braces on the faq's bibtex entry #55

Closed gallais closed 6 years ago

gallais commented 6 years ago

It's a bit of a weird one: the braces show up in the source but not on the website

Zimmi48 commented 6 years ago

Note that the FAQ is in the process of being moved to the wiki (see https://github.com/coq/coq/issues/6180) and all corrections should now be done over there https://github.com/coq/coq/wiki/The-Coq-FAQ. As for this issue in particular, it is well rendered on the wiki, so I'm closing this.

(The https://coq.inria.fr/faq URL should soon be redirected to point to https://github.com/coq/coq/wiki/The-Coq-FAQ.)