Document history

Table of contents

Every saved edit keeps its own text, status, editor, and time. The live document always shows the newest saved state.