early filtering of unchanged perspective;

more reliable update_perspective handler based on actual text visibility (e.g. on startup or when resizing without scrolling);

update_perspective without actual edits, bypassing the full state assignment protocol; edit_nodes/Perspective: do not touch_descendants here; propagate editor scroll events via update_perspective; misc tuning;

tuned;

handle potentially more approriate BufferUpdate.LOADED event;

special treatment of structure index 1 in Pure, including legacy warning;

compile

added "max_calls" option to get a fixed number of Sledgehammer calls per theory

beef up "sledgehammer_tac" reconstructor

clean up Sledgehammer tactic

fixed document;

tuned signature;