Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Sledgehammer and Nitpick from the command line?

Email Gateway (Aug 19 2022 at 08:00):

From: Jens Doll <jd@cococo.de>
Hello Gottfried,
here is a little warning concerning ancient JVMs:
I installed I3p on my Win7 64bit machine and it contained an older JVM, which
was also installed. Afterwards the JVM tried to open ports on my machine
and my printer configuration was corrupted.
Jens

Last updated: Feb 01 2025 at 20:19 UTC