src/Pure/PIDE/protocol.scala
2012-01-09 ago command status color via regular markup;
2012-01-05 ago prefer raw_message for protocol implementation;
2011-12-01 ago clarified modules (again) -- NB: both Document and Protocol are specific to this particular prover;