true gui Isabelle.exe normal false true isabelle.ico isabelle.Main %EXEDIR%\lib\classes\ext\Pure.jar %EXEDIR%\lib\classes\ext\scala-library.jar %EXEDIR%\lib\classes\ext\scala-swing.jar %EXEDIR%\contrib\jdk-6u31_x86-cygwin\jdk1.6.0_31 jdkOnly -Disabelle.home="%EXEDIR%" -Dcygwin.root="%EXEDIR%\\contrib\\cygwin-1.7.9" isabelle.bmp false 10 false