added Toplevel.previous_node_of;
keep type Toplevel.node private (formerly required in document antiquotations, which now operate on plain Toplevel.state);
$Id$This directory contains some administrative tools for the Isabellerepository at TUM. They do not appear in proper distributions.