src/Pure/PIDE/protocol.scala
2011-12-01 ago clarified modules (again) -- NB: both Document and Protocol are specific to this particular prover;