ide/{Xmlprotocol,Interface,Ide_slave}: New command "annotate".

   - Extend the protocol with a new command called "annotate".

   - By the way, relax the dependencies between the "ide" package
     and the internal packages of Coq by *not* referring to external
     type definitions inside Interface.

     Indeed, the purpose of the protocol is to act as a barrier
     between the source tree of Coq and the source tree of Coqide.
     We should enforce this property.
     (Maybe one day coqide will be extracted from the source tree
     of Coq to live its own life.)

0 files changed, 0 insertions, 0 deletions