merged

avoid memory problems on test machine;

more robust defaults: spurious problems with parallel invocations and interrupts;

more interrupts;

avoid multiple uses of the same ML file;

tuned document, notably authors and sections;

clarified presentation of files for each theory;

disable auto_nitpick for now: spurious problems with non-termination e.g. in HOL-Hoare examples;

clarified modules: avoid multiple uses of the same ML file; clarified concrete vs. abstract syntax;

clarified session: avoid merge of different syntax from different Hoare logics;

clarified modules: avoid multiple uses of the same ML file;

clarified syntax modes, avoid obsolete "xsymbols";

clarified fonts, notably for Windows L&F;

support jdk-15;

more friendly desktop application on macOS;

default simprule for geometric series

tuned

less aggressive auto-build: avoid change of running jar;

clarified window size;

more robust Java monitor: avoid odd warning about insecure connection;

tuned signature;

clarified modules;

clarified modules;

misc tuning for release;

rebuild component with proper ZIPPERPOSITION_HOME for sledgehammer;

sort lines;

provide zipperposition-2.0 for experimentation;

merged

tweaked tptp parsing when source info is missing

tuned comments;