src/Pure/PIDE/markup.scala
2011-11-29 wenzelm 2011-11-29 clarified Time vs. Timing;
2011-11-29 wenzelm 2011-11-29 separate compilation of PIDE vs. Pure sources, which enables independent Scala library;
2011-11-29 wenzelm 2011-11-29 rearranged files;