Command.State: add reported positions to markup tree, according main message position or Markup.binding/entity/report occurrences in body;
Position.Id_Range convenience;
This directory contains some administrative tools for the Isabelle
repository at TUM. They do not appear in proper distributions.