Re: [isabelle] sig-alternate.cls

Dear Toby,

my solution was, tripped from comments:






I hope this helps.

- Gergely

From: cl-isabelle-users-bounces at [cl-isabelle-users-bounces at] On Behalf Of Toby Murray [toby.murray at]
Sent: Monday, June 01, 2015 7:18 AM
To: cl-isabelle-users at
Subject: [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 ?





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.