I also emptied .isabelle/contrib and reran components -a, but the error persists.
Tobias On 12/11/2021 07:48, Tobias Nipkow wrote:
I am on 6cb700c77786 $ ### Building Isabelle/Scala (/Users/nipkow/isabelle/lib/classes/isabelle.jar) .../Users/nipkow/isabelle/src/Pure/Admin/build_history.scala:143: error: object getenv is not a member of package SystemSystem.getenv("ISABELLE_SETTINGS_PRESENT") match { and so on. I tried "isabelle components -a" but nothing happens. Tobias _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
smime.p7s
Description: S/MIME Cryptographic Signature
_______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
