Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] proof document and conference format

Email Gateway (Aug 19 2022 at 15:45):

From: Gergely Buday <gbuday@gmail.com>
Hi,

what is the standard way of using a conference document class to create a
proof document?

I copied the necessary parts into document/root.tex, now the normal text is
typeset in italic and \emph is in normal font, which is not the case for
the example conference document . Should I take another way to incorporate
the conference format?

• Gergely

Last updated: Apr 23 2024 at 16:19 UTC