[isabelle] Sledgehammer and Nitpick from the command line?

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.

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.