Start Isabelle from Cygwin


 * click the Isabelle icon such that the Theorem Prover (TP) Isabelle installs the TP itself, the Isac kernel and libisabelle, the interface for the Java world of the Isac front-end.
 * start Isabelle20xx\Cygwin-Terminal.bat and input