excursion: commit_exit internally -- checkpoints are fully persistent now;
excursion: do not force intermediate result states yet -- great performance improvement;
$Id$This directory contains some administrative tools for the Isabellerepository at TUM. They do not appear in proper distributions.