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;

Cygwin_Init based on System_Dialog;

tuned imports;

more robust exit;

Build_Dialog based on System_Dialog; avoid hopping between threads;

clarified close operations;

clarified result;

dialog for system processes, with optional output window;

more portable access to icon -- avoid Isabelle_System which is not yet initialized in bootstrap;

odd workaround for scalac to enable nohup;

odd workaround for scalac to enable nohup;

build session before start of jedit;

imitate "isabelle java" and "isabelle jedit" wrt. classpath and options;