Adem Rimpapa (Apr 08 2025 at 15:13): Adem Rimpapa (Apr 08 2025 at 15:13):I am trying to build several sessions, some of which have the option document=pdf enabled in their ROOT files. I want to build the sessions without generating the documents, but running something like
isabelle build ... -o document=false does not seem to work. Is this not the right way to suppress the document generation for this specific build?
Last updated: Apr 26 2025 at 12:36 UTC