src/Pure/Thy/document_marker.ML
2 months ago ago markup and document markers for some meta data from "Dublin Core Metadata Element Set";
2 months ago ago added semantic document markers;