src/Pure/PIDE/command_span.scala
2014-08-12 wenzelm 2014-08-12 maintain Command_Range position as in ML;
2014-08-12 wenzelm 2014-08-12 separate module Command_Span: mostly syntactic representation; potentially prover-specific Output_Syntax.parse_spans;