Stream: Mirror: Isabelle Development Mailing List

Topic: [isabelle-dev] NEWS: System options short form (e.g. "-o ...

view this post on Zulip Email Gateway (Jun 07 2021 at 12:50):

From: Makarius <>
* System *

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).


isabelle-dev mailing list

Last updated: Mar 04 2024 at 12:30 UTC