Stream: Beginner Questions

Topic: How can I build the documentation for AutoCorres2?

view this post on Zulip Mario Xerxes Castelán Castro (May 26 2026 at 01:02):

When doing isabelle build -v -D . -o document=pdf -o document_output=output in the tarball of AutoCorres2 I get this error message: *** Bad parent session "Simpl" for "AutoCorres2" (line 11 of "/home/ksenia/sw/isabelle/AutoCorres2/ROOT").

How can I build the documentation of this project?

view this post on Zulip Mathias Fleury (May 26 2026 at 10:23):

https://isa-afp.org/help/

Last updated: Jun 26 2026 at 21:20 UTC