Re: [isabelle] sig-alternate.cls

On 24/06/15 06:24, Makarius wrote:
> On Mon, 1 Jun 2015, Toby Murray wrote:
>> 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.
> (This thread still looks unresolved, although the deadline might already
> have passed.)
> Isabelle document preparation is merely a certain schematic way to
> generate LaTeX macros.  The meaning is defined by the LaTeX styles and
> other setup.  The defaults work for the most common document classes,
> but nothing is for sure in LaTeX.
> Included is the result of experimenting with sig-alternate.cls for
> 30min. It looks fine so far, compared to the standard example document
> for that style.

Thank you Makarius for taking the time to look at this, and for
providing a solution, and giving the info I'd need to sort this out on
my own next time.

Thanks again



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.