Isabelle HOL on Windows 10 -
i installed windows 10 (64bit). since then, isabelle hol no longer starting, after re-installation (which ran through smoothly). error message following: "startup error: error starting java vm". happens 2 versions tested (2013-2 , 2015). jvm.dll specified in configuration file, exists in right folder. additionally, have installed java sdk in newest version (8.51) in both, 32bit , 64bit. there known compatibility problem windows 10? isabelle used work windows 7 , 8. thank you help. update (150822) from developer's mailing list, there's link test release: news: updated jdk-8u60, support x86_64-windows www4.in.tum.de/~wenzelm/test/isabelle_21-aug-2015 that's working different isabelle2015, in how things paths, might find things needs windows 10, or may not. however, if works, there may incompatibilities isabelle2015 (in theorem proving). regardless, isabelle gets released 1 2 times year, , wouldn't expect special released windows 10 wit...