src/Pure/PIDE/markup_node.scala
2010-08-15 wenzelm 2010-08-15 specific types Text.Offset and Text.Range; minor tuning;
2010-08-14 wenzelm 2010-08-14 tuned;
2010-05-29 wenzelm 2010-05-29 tuned messages;
2010-05-05 wenzelm 2010-05-05 eliminated deprecated "--" method; use case classes with copy method for functional record update;
2010-05-05 wenzelm 2010-05-05 some rearrangement of Scala sources;