proper apple.awt.application.name for Java 7;

generate application Info.plist 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);

more robust Mac OS X application support;

use polyml-5.5.1 (SVN), to increase chances of stability of this test;

override potential changes in $ISABELLE_HOME_USER/etc/settings;

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);

generate application based on $JEDIT_JAVA_OPTIONS $JEDIT_SYSTEM_OPTIONS at build time (see also src/Tools/jEdit/lib/Tools/jedit);

tuning

made semantics of "max_new_instances" be what the name suggests, the previous implementation did, and the Sledgehammer manual documents

limit the number of instances of a single theorem

move metis to new monomorphizer

use new monomorphizer in Sledgehammer

tuning

include map theorems in datastructure for "primcorec"

enriched data structure with necessary theorems

updated exe -- more explicit icon;

more official lib/logo/isabelle.bmp;

use windows_app based on WinRun4J;

updated to WinRun4J;

tuned whitespace

don't register "sequential" as a keyword for now as this breaks the parser for function

tuned proofs;

merged

tuned message;

tuned message;

imitate "isabelle java" and "isabelle jedit" wrt. classpath and options (see also a221a4fdb5a0);

generate application wrapper for Linux;

observe "stopped" after Cygwin init (which is itself uninterruptible);

clarified modules;

tuned signature;