* isatool browser now works with Cygwin; * isabelle-process: non-ML sessions are run with "nice"; * JVM class isabelle.IsabelleProcess (in Isabelle/lib/classes);
* isatool browser now works with Cygwin;
* isabelle-process: non-ML sessions are run with "nice";
* JVM class isabelle.IsabelleProcess (in Isabelle/lib/classes);

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle