Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] proof document with conference style


view this post on Zulip Email Gateway (Aug 19 2022 at 15:53):

From: Gergely Buday <gbuday@gmail.com>
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?

view this post on Zulip Email Gateway (Aug 19 2022 at 15:55):

From: Makarius <makarius@sketis.net>
That is a bit unspecific and obscure. What is your latex style? What is
your root.tex like?

I've made a quick test myself with "an ACM conference" document class,
namely acmconf.cls 1.3 from CTAN. It worked within the 5min I gave
attention to it, but that alone does not say anything.

Makarius


Last updated: Mar 28 2024 at 08:18 UTC