src/Pure/PIDE/isabelle_markup.scala
2011-11-29 ago clarified Time vs. Timing;
2011-11-29 ago rearranged files;