From 4bd8d80ea41064bb26248ad36a1c7820408d5c1e Mon Sep 17 00:00:00 2001 From: Jz Pan Date: Sat, 13 Jul 2024 02:59:27 +0000 Subject: [PATCH] docs: fix references.bib (#14689) This PR removes `\url` and `\_` commands in `references.bib`. The existence of them breaks https://github.com/leanprover/doc-gen4/pull/209. - The first is `howpublished = {\url{...}}`. I think it's better to use the standard `url` field. Meanwhile `howpublished` field is preserved since some bibtex parser complains about missing that field. - There are some `\_` in `url` and `doi` fields. I think it's better to replace them with `_`; there are already some `_` in `url` and `doi` fields of other bibitems. - There is `$K\_X$`, but which, after checking the original article, should be `$K_X$`. --- docs/references.bib | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/docs/references.bib b/docs/references.bib index be1a629fd1abd..264553cb20858 100644 --- a/docs/references.bib +++ b/docs/references.bib @@ -144,7 +144,8 @@ @Misc{ avigad_moura_kong-2017 author = {Jeremy Avigad and Leonardo de Moura and Soonho Kong}, title = {{T}heorem {P}roving in {L}ean}, year = {2017}, - howpublished = {\url{https://leanprover.github.io/theorem_proving_in_lean/}} + howpublished = {}, + url = {https://leanprover.github.io/theorem_proving_in_lean/} } @Book{ axler2015, @@ -1376,8 +1377,8 @@ @InProceedings{ fuerer-lochbihler-schneider-traytel2020 pages = {58--78}, publisher = {Springer}, year = {2020}, - url = {https://doi.org/10.1007/978-3-030-51054-1\_4}, - doi = {10.1007/978-3-030-51054-1\_4}, + url = {https://doi.org/10.1007/978-3-030-51054-1_4}, + doi = {10.1007/978-3-030-51054-1_4}, timestamp = {Mon, 06 Jul 2020 09:05:32 +0200}, biburl = {https://dblp.org/rec/conf/cade/FurerLST20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} @@ -2148,7 +2149,7 @@ @Article{ kelleyVaught1953 @Article{ kleiman1979, author = {Kleiman, Steven Lawrence}, - title = {Misconceptions about {$K\_X$}}, + title = {Misconceptions about {$K_X$}}, journal = {Enseign. Math. (2)}, volume = {25}, year = {1979},