Re: [isabelle] running bibtex through document preparation



On Mon, 8 Dec 2014, Gergely Buday wrote:

if I go to output/document and I run

  pdflatex
  bibtex
  pdflatex
  pdflatex

I get a proper root.pdf.

However running

  isabelle build -D .

does not result in proper citations in document.pdf, no matter how
many times I run it.

"isabelle document" that is used implicitly here is smart enough to do it all, but you need to observe a canonical setup for the document. I guess that above you don't have root.bib, but some other file.

There are many existing examples in the Isabelle distribution and AFP.


	Makarius

----------------------------------------------------------------------------
                  http://stop-ttip.org  1,063,902 people so far
----------------------------------------------------------------------------




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.