Email Gateway (Jan 02 2026 at 19:48): Email Gateway (Jan 02 2026 at 19:48):From: Tobias Nipkow <nipkow@in.tum.de>
The environment variable ML_IDENTIFIER seems to have disappeared with 2025-1,
although I cannot find any mention of that in NEWS. What should I use instead?
Thanks
Tobias
Email Gateway (Jan 02 2026 at 21:06):From: Makarius <makarius@sketis.net>
On 02/01/2026 20:47, Tobias Nipkow wrote:
The environment variable ML_IDENTIFIER seems to have disappeared with 2025-1,
although I cannot find any mention of that in NEWS. What should I use instead?
This is the relevant NEWS section:
* System *
The traditional ML system settings have been reconsidered, and mostly
replaced by ML_Settings in Isabelle/Scala (e.g. via
ML_Settings.system(Options.init())). Potential INCOMPATIBILITY for old
shell scripts, which should be replaced by proper Isabelle/Scala tools
anyway. The following environment variables still have a purpose:
ML_SYSTEM, ML_PLATFORM, ML_HOME as provided to Isabelle/ML (see also
structure ML_System).
Optional ML_PLATFORM or ML_OPTIONS as input in user settings, which
take precedence if assigned to a proper value. Otherwise,
ML_PLATFORM is derived from system options ML_system_64 and
ML_system_apple, and ML_OPTIONS is taken from ML_OPTIONS32 or
ML_OPTIONS64 (depending on the effective ML_PLATFORM).
Examples:
isabelle build -o ML_system_64 -b HOL
isabelle jedit -o ML_system_64
The default question is: What are you trying to do?
To get rid of old shell scripts, it might help to inspect
Isabelle/src/Tools/Demo/.
Makarius
Last updated: Jan 11 2026 at 16:28 UTC