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

On 01/07/2019 21:03, Peter Lammich wrote:
>> I did not have bibtex in my test setup. How about this?
>>   isabelle latex -o bbl root
> Thanks, that worked. (I had already tried "-o bbl root.bib" 
> and "-o bbl root.bbl", but both did not work) 

That is all relative to the document output directory.

My formal change is now here:


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