Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Document prep. from a dedicated session

Email Gateway (Jul 27 2022 at 07:23):

From: Robert Soeldner <cl-isabelle-users@lists.cam.ac.uk>
Hello,

I'd like to use the document preparation system within a dedicated session
to produce a PDF describing (parts) of a theory development. I'm looking
for a way to repeat \include definitions (e.g. a record or locale) from a
different session\theory.

Is this possible, or should I repeat and hide all required code?

Any feedback is appreciated,
Thank you, Robert

Last updated: Apr 25 2024 at 12:23 UTC