Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Tool naming: option vs. options

Email Gateway (Aug 22 2022 at 16:08):

From: Florian Haftmann <florian.haftmann@informatik.tu-muenchen.de>
I found the following naming inconsistency in Isabelle2017-RC2:

• There is the tool »isabelle option«…

• …but it advertizes itself as »isabelle options«:

Isabelle2017-RC2/bin/isabelle option

Usage: isabelle options [OPTIONS] [MORE_OPTIONS ...]

Options are:
-b include $ISABELLE_BUILD_OPTIONS
-g OPTION get value of OPTION
-l list options
-x FILE export options to FILE in YXML format

Report Isabelle system options, augmented by MORE_OPTIONS given as
arguments NAME=VAL or NAME.

• The Isabelle System Manual also speaks about »isabelle options«

  Florian
  signature.asc

Email Gateway (Aug 22 2022 at 16:08):

From: Makarius <makarius@sketis.net>
The proper name of the tool is "options" as in the documentation, but
that got lost in Isabelle/c1410bcf6e87 (03-Apr-2016). I will correct
this for the next release candidate of Isabelle2017.

Makarius
signature.asc

Last updated: Nov 21 2024 at 12:39 UTC