src/Pure/PIDE/protocol.ML
2012-01-05 ago tuned signature -- emphasize special nature of protocol commands;
2011-12-01 ago clarified modules (again) -- NB: both Document and Protocol are specific to this particular prover;