[isabelle-dev] Scala error

Tobias Nipkow nipkow at in.tum.de
Fri Nov 12 07:48:45 CET 2021

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.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 5579 bytes
Desc: S/MIME Cryptographic Signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20211112/80d665cb/attachment.bin>

More information about the isabelle-dev mailing list