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
roman.

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

Toby

________________________________

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.