diff options
| author | bertot | 2001-04-18 07:47:44 +0000 |
|---|---|---|
| committer | bertot | 2001-04-18 07:47:44 +0000 |
| commit | 3a2687ee0cd330856109dd2de3b6311890a29674 (patch) | |
| tree | 0bd4fdcc3bbff0ab00994739d2bc3f8717dc3185 /scripts | |
| parent | b9d7d302a186e2bb6766708a9802f058724ea0fb (diff) | |
Changing the commands to switch to textual explanation of proofs.
Removing the "Show Dad Rules." command that breaks down parsing.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1600 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions