Re: [isabelle] Isabelle document generation and ACM and LIPIcs LaTeX styles

On 22/11/2021 21:19, Makarius wrote:
> On 22/11/2021 20:21, Tobias Nipkow wrote:
>> What is the situatiuon here? I still run into the old (comment) problems (it
>> seems). Do I need to do something special?
> I am presently reworking my LIPIcs example
> together with last-minute fine points
> for the Isabelle2021-1 release, such as
> I will do something about isabelletags.sty and comment.sty within the next few
> days.

There is now improved support for Dagstuhl LIPIcs here, without the awkward
build script:

This will be in the next release candidate for Isabelle2021-1 (within the next
few days). Afterwards I will merge it back to the isabelle-rev and switch
mentally to the post-release mode.


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