src/Pure/PIDE/command_span.scala
2014-10-28 ago find command span in buffer;
2014-08-12 ago maintain Command_Range position as in ML;
2014-08-12 ago separate module Command_Span: mostly syntactic representation;