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 <makarius@sketis.net>
* 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).

Makarius


isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev


Last updated: Mar 04 2024 at 12:30 UTC