report token range after inner parse error -- often provides important clues about misunderstanding concerning lexical phase;
tuned color;

 This directory contains some administrative tools for the Isabelle

 repository at TUM.  They do not appear in proper distributions.