Admin/Windows/WinRun4J/Isabelle.ini
2013-09-12 wenzelm 2013-09-12 generate distribution classpath for cold-start application wrappers;
2013-09-09 wenzelm 2013-09-09 generate application ini based on $ISABELLE_JAVA_SYSTEM_OPTIONS $JEDIT_JAVA_OPTIONS $JEDIT_SYSTEM_OPTIONS at build time (see also lib/Tools/java and src/Tools/jEdit/lib/Tools/jedit);
2013-09-08 wenzelm 2013-09-08 more official lib/logo/isabelle.bmp;
2013-09-08 wenzelm 2013-09-08 updated to WinRun4J;