discontinued body_range (again): does not quite work, because Position.thread_data is plain Toplevel.pos_of only;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE578a33042aa6: clarified: command keyword position is sufficient (amending 693a39f2cddc);
- Branches
- Unknown
- Tags