diff options
| author | Pierre Courtieu | 2002-05-29 22:02:36 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2002-05-29 22:02:36 +0000 |
| commit | 71cb7480a5f67ead4fbd0712a8805c6caade4d67 (patch) | |
| tree | 1f95f8a24bd0e57b6f4d7e9ddc4586b67ccdb78c /html/feedback.php | |
| parent | 2ecde08b21a3460a2e7c825e86d09587fab98ad1 (diff) | |
Made a negative test to compute the number of "Back n" in
coq-find-and-forget.
Diffstat (limited to 'html/feedback.php')
0 files changed, 0 insertions, 0 deletions