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


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