more regular buffer_range, despite 47e8c8daccae;
more robust invalidate_range, which is relevant when editing at the end of the buffer (NB: last line offset by be outside actual buffer length);
This directory contains some administrative tools for clones of the
Isabelle repository. They do not appear in proper distributions.