Coqide: avoid confusion of process when restarting coqtop + cosmetic

 When using "Goto start" while many phrases are evaluated,
 it's frequent with earlier code that the restart occurs
 between two phrases, and hence the second is sent to the new
 coqtop, triggering things like "Anomaly: NoCurrentProof".

 To avoid that, Coq.coqtop is now immutable (no silent switch
 of channels). In Coqide, toplvl and mycoqtop are now references,
 that are updated when using reset_coqtop.
 We organize things in order to have only one access to mycoqtop
 during code that does many sequential calls to coqtop. This way,
 when coqtop changes, the code speaks to the old one, and gets
 some exception when writing/reading on a close channel.

 By the way, some documentation, cleanup, etc etc

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13942 85f007b7-540e-0410-9357-904b9bb8a0f7

0 files changed, 0 insertions, 0 deletions