Re: [isabelle] sig-alternate.cls



Dear Toby,

my solution was, tripped from comments:

\documentclass{sig-alternate}
  \pdfpagewidth=8.5truein
  \pdfpageheight=11truein
\usepackage{isabelle,isabellesym}
\usepackage[utf8]{inputenc}
\usepackage{pdfsetup}

\urlstyle{rm}

\newcommand{\isabellestyleup}{%
  \def\isastyle{\normalfont\small}%
  \def\isastyleminor{\normalfont\small}%
  \def\isastylescript{\normalfont\footnotesize}%
  \isachardefaults%
}

\isabellestyle{up}


\begin{document}
...

I hope this helps.

- Gergely

________________________________________
From: cl-isabelle-users-bounces at lists.cam.ac.uk [cl-isabelle-users-bounces at lists.cam.ac.uk] On Behalf Of Toby Murray [toby.murray at nicta.com.au]
Sent: Monday, June 01, 2015 7:18 AM
To: cl-isabelle-users at lists.cam.ac.uk
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 ?

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.