Email Gateway (Aug 22 2022 at 12:17): Email Gateway (Aug 22 2022 at 12:17):From: Makarius <makarius@sketis.net>
A BSOD is definitely bad, but usually in the responsiblity of some big
guys, like Microsoft or Oracle.
Can you provide some hints on your hardware? Maybe there is a way to
guess around the situation.
The main difference of Isabelle2016-RC1 on win-32 vs. win-64 is the Java
Runtime Environment, and its default heap parameters. You may change the
latter in the file Isabelle2016-RC1.l4j -- these are standard java options
as explained here
http://docs.oracle.com/javase/8/docs/technotes/tools/windows/java.html
Makarius
Last updated: Apr 25 2024 at 20:15 UTC