Admin/README

attach modifier only later, to avoid interference as e.g. in "simp add: foo [simplified] bar";

This directory contains some administrative tools for clones of the
Isabelle repository.  They do not appear in proper distributions.