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;

provide file indicator;

updated windows_app-20130905;

main application entry point involves implicit Cygwin init, depending on "uninitialized" file indicator; standardized jdk location;

standardize jdk name; check tar errors;