maintain integer indentation during formatting -- it needs to be implemented by repeated spaces eventually; always round block indentation upwards, to ensure that text moves visually to the right of the "hanging" part;

tuned;

proper default browser info for interactive mode, notably thy_deps;

improved pretty printing for state set acom

Improvements to the print_dependencies command.

discontinued obsolete parallel_proofs_reuse_timing;

merged

separate isatest with skip_proofs, to give some impression of performance without most of the proofs;

merged

extra checkpoint to avoid stale theory in skip_proof context, e.g. in 'instance' proof;