Change: eliminated id, which is merely the resulting document id and is only required in joined state anyway;
Document.edit_text: create new document id here;
This directory contains some administrative tools for the Isabellerepository at TUM. They do not appear in proper distributions.