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 within 4 6 months. links above, though, show m.wenzel can package test release, operates on user's mailing list.

in batch file below, set homedrive , homepath, don't need if want .isabelle in c:\user.

in test release, settings don't affect home path. appears user_home used, though setting of user_home doesn't make batch file work test release.

anyway, test release has changed way works discover things, , accomodates windows more, shown new behaviour of function file.platform_path.

it's working different enough, , requires enough changes, should stay isabelle2015, or i'll out of sync official release.)

original

(zeroeth: problems hashed out on mailing list, go ahead show how start isabelle using batch file, started doing before had start doing it.)

first, java isabelle uses in folder:

isabelle2015\contrib\jdk\x86-cygwin\jre 

doing normal java install windows not going change java isabelle uses.

below, give batch file , bash file start isabelle/jedit, alternative using isabelle2015\isabelle2015.exe.

for myself, i've done manually replace 32-bit jre folder shown above jre in jre-8u45-windows-x64.tar.gz. (i renamed old 32-bit folder. recent java tar files can found at download page.)

consequently, if try start isabelle isabelle2015.exe, popup says, "startup error, error starting java vm", starting isabelle batch/bash combination works me on windows 8.1.

what show below may not fix problem, guess isabelle2015.exe has info os work right, , maybe that's changed windows 10:

https://lists.cam.ac.uk/mailman/htdig/cl-isabelle-users/2014-december/msg00033.html

you put batch , bash file below in folder have or want .isabelle folder. change isahome below isabelle distribution is. path needs cygwin bin in path, , path isabelle, set in batch file.

file: start-isabelle.bat

:: isabelle2015.exe uses these directly. setting home or user_home doesn't work set homedrive=%~d0 set homepath=%~p0  :: cygwin uses home, , how home set in cygwin-terminal.bat set home=%homedrive%%homepath%  :: add paths: 'cygwin/bin' start terminal, 'isabelle2015/bin' 'isabelle' set isahome=e:\e_2\d ev\isabelle2015 set path=%path%;%isahome%/contrib/cygwin/bin;%isahome%/bin;  set chere_invoking=true ::mintty console start /min mintty.exe -i /cygwin-terminal.ico "%~dp0start-isabelle.bash"  :: regular windows console ::bash --login -i "%~dp0start-isabelle.bash" 

file: start-isabelle.bash

#!/usr/bin/env bash # isabelle jedit -l hol 

with 64-bit java, can increase size of memory isabelle uses, making change in .isabelle\isabelle2015\etc\settings:

jedit_java_options="-xms1g -xmx4g -xss4m"   or jedit_java_options="-xms1024m -xmx4096m -xss4m" 

with 32-bit java, when that, isabelle start terminate.