Re: [isabelle] Pdf generation



On Thu, 6 Mar 2008, Peter Chapman wrote:

> 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?

The Isabelle document tool takes care of running the proper number of 
times to get references right.  How exactly did you invoke the document 
preparation session?


	Makarius





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