Email Gateway (Jun 07 2021 at 12:50): Email Gateway (Jun 07 2021 at 12:50):From: Makarius <makarius@sketis.net>
* System *
System option "system_log" specifies an optional log file for internal
messages produced by Output.system_message in Isabelle/ML; the value
"true" refers to console progress of the build job. This works for
"isabelle build" or any derivative of it.
System options of type string may be set to "true" using the short
notation of type bool. E.g. "isabelle build -o system_log".
System option "document=true" is an alias for "document=pdf" and thus
can be used in the short form. E.g. "isabelle build -o document".
This refers to Isabelle/2a431e8bb9b4.
As the name says, Output.system_message helps for system diagnostics (or adhoc
debugging). It is not for regular user-space tools.
The short form "isabelle build -o document" simplifies our everyday live: I
did not make it a boolean for compatibility, both backwards and forwards.
Eventually we shall see other document formats than PDF, e.g. based on HTML or
PreTeXt (formerly MathBook XML).
Makarius
isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
Last updated: Jul 15 2022 at 23:21 UTC