dropped reference to dead clone

modernized

removed dead clone

Modernized.

More instances.

Tuned whitespace.

More correct references.

Updated references.

Restored antiquotation.

tuned whitespace

Removed a bit of unnecessary material

merged

added lemma multpHO_plus_plus[simp]

merged

Shortened several messy proofs

Shortened a messy proof

Fix name clash in Frequency_Moments.

Fixed a name clash

Moving more material to the distribution

Moving some material to the main repository

Moved in some material from the AFP entry Winding_number_eval

merged

tuned messages: less verbosity;

tuned message, following "isabelle components -a";

prefer Other_Isabelle.init instead of adhoc scripts;

clean components more accurately: purge other platforms or archives;

more operations for SSH.System;

clarified signature;

manage other Isabelle distributions via SSH;

tuned;

more operations for SSH.System;

recovered option -C from 092449efcb0e (still required for isabelle_cronjob.

clarified parameters (again);

Some new material from the AFP

clarified defaults: imitate "isabelle components -I" without further parameters;

tuned;

merged

more robust locations (amending 7e11e96a922d) --- notably for cleanup() in…

tuned;

clarified defaults (see also b310b93563f6);