diff options
| author | Pierre Courtieu | 2002-05-29 21:18:15 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2002-05-29 21:18:15 +0000 |
| commit | 2ecde08b21a3460a2e7c825e86d09587fab98ad1 (patch) | |
| tree | 491de5a1e90078ef3c007531c8c2fda7a89d65a4 /html/cvsweb.cgi | |
| parent | 650a65abe40ce22ba896037bee3bab41fb69a118 (diff) | |
Modification of the coq-find-and-forget function, in order to use the
new "Back n." command of coq to make the syncronization better. Seems
to work, need to test.
Diffstat (limited to 'html/cvsweb.cgi')
0 files changed, 0 insertions, 0 deletions