Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] new bibitems in document preparation

view this post on Zulip Email Gateway (Jul 27 2020 at 10:52):

From: Gergely Buday <>

my build script using the standard document preparation toolchain is


pdflatex root.tex
bibtex root
pdflatex root.tex
pdflatex root.tex

When I insert new references, the above produces question marks into the
citations. The .bbl file does not contain the new references in
output/document. I used

isabelle build -c -D .

With a simple .tex file and without Isabelle the above works, how should I
rewrite it to make it work with the toolchain?

Last updated: Jul 15 2022 at 23:21 UTC