Re: [isabelle] sig-alternate.cls

On 01/06/15 17:06, Buday Gergely wrote:
> Dear Toby,
> my solution was, tripped from comments:

Thanks, Buday. This seems to give reliable typesetting of formulas in

I'll keep this as a backup option if I can't manage to work out how to
get italics.



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.