Email Gateway (Aug 22 2022 at 16:08): 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.
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: Apr 26 2024 at 16:20 UTC