added keyboard shortcut for button (canonical way to do that?);

evade ugly default font, notably on Windows laf;

center main window;

more direct dialog via existing GUI components;

clarified logic argument: session name, not path name; tuned;

tuned message;

implicit build_dialog for Isabelle/jEdit; clarified option -l: refer to session name, not image path;

tuned message;

tuned OK feedback;

check for existing image (even if outdated); removed conflicting "clean" option;

more elementary dialog, with less interaction;

basic interaction with build process;

allow to terminate jobs via Progress; tuned;

more formal progress context;

basic wrapper for session build dialog;

tuned;

tuned signature in accordance to document operations;

tuned;

merged

\<noteq> now has the same associativity as ~= and =

tweaked order of theorems to avoid forward dependencies (MaSh)

rationalized MaSh evaluation harness

more robustness in the face of MaSh format changes -- don't overwrite new versions with old versions

added feature weights in MaSh