[isabelle] sig-alternate.cls

Hi all,

There appears to be a long-standing issue with sig-alternate.cls and
Isabelle document preparation, dating back to at least 2004 [1], that is
currently biting me.

Specifically, \isabellestyle{it} causes paragraph text to be rendered in
italics when using sig-alternate.cls as the document class.

It looks like this has hit others in the past [2], where the solution
there seemed to be to avoid \isabellestyle{it} altogether and use
\isabellestyle{rm} instead [3].

Is there a standard workaround I can employ to have italic typeset maths
when using sig-alternate.cls ?



[1] https://groups.google.com/forum/#!topic/fa.isabelle/x2CL8uKbcOM


The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.

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