some PIDE NEWS from this summer;

tuned whitespace;

tuned;

tuned proofs;

report proper binding positions only -- avoid swamping document model with unspecific information;

accumulate under exec_id as well;

more restrictive pattern, to avoid malformed positions intruding the command range (cf. d7a1973b063c);

misc tuning;

Thy_Syntax.consolidate_spans is subject to editor_reparse_limit, for improved experience of unbalanced comments etc.;

tuned signature;

tuned proofs;

misc tuning;

tighten margin for TextArea instead of Lobo;

misc tuning;

renamed LFP low-level rel property to have ctor not dtor in its name

changed base session for "HOL-BNF" for faster building in the typical case

renamed "rel_simp" to "dtor_rel" and similarly for "srel"

fixed a few names that escaped the renaming

tuned whitespace

merged

clean up lemmas used for composition

created separate session "HOL-BNF-LFP" as a step towards eventual integration in "HOL" in the middle term

renamed "Codatatype" directory "BNF" (and corresponding session) -- this opens the door to no-nonsense session names like "HOL-BNF-LFP"

renamed top-level theory from "Codatatype" to "BNF"

adapted examples to renamings

renamed "pred" to "rel" (relator)

renamed "rel" to "srel"

fixed bug introduced by fold/unfold renaming

renamed "iter"/"coiter" to "fold"/"unfold" (cf. Wadler)

simplified code

tuned a few ML names

renamed "fld"/"unf" to "ctor"/"dtor"