[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 ?

Thanks

Toby

[1] https://groups.google.com/forum/#!topic/fa.isabelle/x2CL8uKbcOM
[2]
http://www4.in.tum.de/~urbanc/cgi-bin/repos.cgi/nominal2/raw-diff/e96f3efb0032/Quotient-Paper/document/root-sac.tex
[3]
http://www4.in.tum.de/~urbanc/cgi-bin/repos.cgi/nominal2/raw-annotate/d769c24094cf/Quotient-Paper/document/root.tex

________________________________

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.