diff options
| author | ppedrot | 2012-05-02 16:01:05 +0000 |
|---|---|---|
| committer | ppedrot | 2012-05-02 16:01:05 +0000 |
| commit | c64fe271b2ad1bb748257f84f0de438755593966 (patch) | |
| tree | 882a41cd4a20447cc0590ec498423b75610dedee /scripts | |
| parent | 795903ab8fc07ac5c07e63211ae40a65ff8d4dc8 (diff) | |
Added an interface call to exit Coqtop nicely.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15263 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions