HomeIsabelle/Phabricator
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.

Written by makarius on Jun 7 2021, 2:45 PM.
User
Projects
None
Subscribers
None

Event Timeline