src/Pure/PIDE/isabelle_document.ML
2011-11-29 ago clarified modules;