Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] [ExternalEmail] Isabelle document prep and ACM...


view this post on Zulip Email Gateway (Aug 22 2022 at 14:19):

From: Toby.Murray@data61.csiro.au
For anyone who encounters this or similar issues in the future:

I was able to resolve this by removing the lines

\RequirePackage{comment}
\excludecomment{CCSXML}

from acmsmall.cls

While I can't claim to understand what's going on here, I presume some
conflict between Isabelle's comment.sty and that expected by
acmsmall.cls, or something similar.

Apologies for the noise

Thanks

Toby


Last updated: Apr 19 2024 at 04:17 UTC