info.hupel.isabelle.cli
Guesses an Isabelle version from the system environment.
The following is tried, in order: - the environment variable ISABELLE_VERSION - Java system property info.hupel.isabelle.version
ISABELLE_VERSION
info.hupel.isabelle.version