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;

more Proof General legacy;

use JEDIT_OPTIONS only once (in isabelle.Main.start_jedit);

warm start of Isabelle/jEdit from Isabelle/Scala; avoid mass confusion of plugins due to change of -classpath (cf. 5bef05f5ed58);

prefer explicit thread;

tuned proofs;

tuned proofs;

prefer Isabelle/Scala over bash; actual platform_path (in contrast to eb8806a2e348);

prefer Isabelle/Scala over bash;

prefer warm start via JEdit_Main;

slight cleanup of lemma locations; tuned proof

tuned

tuned;

tuned;

removed junk;

more standard header;

updated keywords;

merged

added examples for Simps_Case_Conv

allowed less exhaustive patterns

use case_of_simps

use case_of_simps

added simps_of_case and case_of_simps to convert between simps and case rules

merged

close window and start process asynchronously;

more explicit cygwin_root (again) -- do not rely on isabelle_home as cwd;

recovered cygwin.root from 1c87e79bb838; removed junk;