[isabelle] Pdf generation
I'm getting Isabelle to build and produce a pdf. It works, after a
fashion, and I get a document produced that is called root.pdf.
However, I cannot get the references to print out at all. I have
followed the instructions in the Isabelle manual and have placed all
of the files in the correct places, but still it does not print them
out. I also get the error message
Running HOL-Nominal-CraigND ...
Browser info at /Users/pc/isabelle/browser_info/HOL/HOL-Nominal/CraigND
(see also /Users/pc/isabelle/heaps/Isabelle2007/polyml-5.1_x86-darwin/
Output written on root.pdf (15 pages, 162580 bytes).
Transcript written on root.log.
Document preparation failure in directory '/Users/pc/isabelle/
*** No document: "/Users/pc/isabelle/browser_info/HOL/HOL-Nominal/
make: *** [/Users/pc/isabelle/heaps/Isabelle2007/polyml-5.1_x86-darwin/
ominal-CraigND.gz] Error 1
In the log file (root.log) it tells me that there were lots of
undefined citations. Usually in LaTeX you have to run things a couple
of times to get references to work properly, and once as a BibTeX
build. Is there any way to do this using Isabelle? Does anyone know
how to make my references appear properly?
This archive was generated by a fusion of
Pipermail (Mailman edition) and