Summary
- eliminated hard tabs;
- updated headers;
- updated to sumatra_pdf-3.1.2;
- updated to xz-java-1.5;
- updated cygwin according to 9416333a17c2, still using old 1.7.35-1;
- tuned;
- just one option is enough -- "isabelle jedit" java process may be prefixed directly in the shell;