Fri, 08 Jan 2021 15:03:51 +0100 | wenzelm | recovered body_range from eca176f773e0 --- its Command.core_range is in conflict with batch-build markup; | changeset | files |
Fri, 08 Jan 2021 14:42:18 +0100 | wenzelm | tuned; | changeset | files |
Fri, 08 Jan 2021 14:40:04 +0100 | wenzelm | support more command positions, analogous to Command.core_range in Isabelle/Scala; | changeset | files |