Mercurial Mercurial > repos > isabelle / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/Windows/WinRun4J/Isabelle.ini
changeset 69416 cc3a3eba99ae
parent 69415 99c3529c31d0
child 69417 469724b2cb5d
equal deleted inserted replaced
69415:99c3529c31d0 69416:cc3a3eba99ae 
     1 main.class=isabelle.Main
 
       
     2 vm.location=contrib\jdk\x86-cygwin\jre\bin\server\jvm.dll
 
       
     3 splash.image=lib\logo\isabelle.bmp
 
       
     4 vmarg.1=-Disabelle.root=%INI_DIR%
isabelle