diff options
| author | corbinea | 2003-10-30 16:23:38 +0000 |
|---|---|---|
| committer | corbinea | 2003-10-30 16:23:38 +0000 |
| commit | 0105110ddde98d5f49f5e7a5e52d5cce1f4bd8ca (patch) | |
| tree | 54a0655fa93061f24a56103de0d829400669db29 /kernel | |
| parent | e52a9fa8835eddf70d0c8e454470fb12eebef7cd (diff) | |
Redirected some of the verbose jprover output through the Pp module.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4746 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions