System options short form (e.g. "-o document")
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.
- Projects
- None
- Subscribers
- None