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