Re: [isabelle] Problems with LIPIcs and Isabelle document preparation



On 01/07/2019 20:54, Peter Lammich wrote:
> I get
> 
> Bad file 'root.bbl'
> 
> when using your script. It comes from the command
> 
> isabelle latex root.bbl

I did not have bibtex in my test setup. How about this?

  isabelle latex -o bbl root


	Makarius





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