[isabelle] proof document with conference style



Hi,

I combined an ACM conference document class with root.tex and the result
was slanted paragraphs in the sections.

Upon advice I removed \isabellestyle{it} and put

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

\isabellestyle{up}

instead. That cured the sections but now the proof parts became non-italic
as well. How can I fix this?

- Gergely



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.