src/Pure/Thy/thy_document_model.scala
18 months ago wenzelm 2017-11-06 minimal document model for theory files;