Make the jopin-document button wait for slaves to terminate

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16750 85f007b7-540e-0410-9357-904b9bb8a0f7
add "Print Ring" and "Print Field" vernacular commands

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16751 85f007b7-540e-0410-9357-904b9bb8a0f7
summary for ML modules made correct

This summary entry is special because its unfreeze may load ML
code that in turns adds summary entries.  Hence it is the first
summary piece to be unfreezed, otherwise some summaries may get
lost.

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