diff options
| author | vgross | 2010-07-05 17:21:42 +0000 |
|---|---|---|
| committer | vgross | 2010-07-05 17:21:42 +0000 |
| commit | a90ccfa5f25858e8cb224b4cfa4f724ca84e3ea4 (patch) | |
| tree | 7d872ab2c1dcc609b047763dda69b49256a6d3c4 /kernel | |
| parent | 4834725774ecbc2f0c415d8bd20317201d5381d9 (diff) | |
Robustness fix : clean restart of coqtop on pipe error + force matching
of coqtop return codes.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13245 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions