isabelle
global state -- document structure, execution process, editing history *
document structure *
versioning *