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 System
System.getenv("ISABELLE_SETTINGS_PRESENT") match {and so on. I tried "isabelle components -a" but nothing happens. Tobias
smime.p7s
Description: S/MIME Cryptographic Signature
_______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
