tuned spying

document "spy"

added "spy" option to Nitpick

document "spy" option

added "spy" option to Sledgehammer

proper text for document preparation;

set [code] on case equations

note coinduct theorems in "primcorec"

tuning

generate "simps" from "primcorec"

undid copy-paste

avoid giving same name to simplifying constructor as to real one (to avoid risks of confusion when reading the code)

don't generate empty theorem collections

tuned code

provide a way to override MaSh's port from configuration file

new version of MaSh program, with proper shutdown

tuned proofs;

focus on default component according to jEdit window management;

tuned;

tuned signature;

completion popup for history text field; imitate view font, for default rendering of symbols; tuned signature;

clarified location of GUI modules (which depend on Swing of JFX);

repaired latex (cf. 7bb0cf27c243);

tuned proofs;

caret range of active text area counts as visible (e.g. relevant for Output after scrolling outside of text view);

tuned;

proper layered pane at root of parent component, not global view (e.g. relevant for tooltips for detached info windows);

immediate access to some elementary examples;

more front-matter;

clarified logo;

proper text replacement (cf. 747835eb2782);

added canonical screenshot;