diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2002-11-20 16:19:06 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2002-11-20 16:19:06 +0000 |
| commit | 5ce1ca916b67d6cd18fb16c7acbf2454e568ce9d (patch) | |
| tree | 9f37733d90877d2dcba90bafb93078fb6cd7cc7a /coq | |
| parent | f3156e7062a140c9d7a2f00f4bdb615a57e503ef (diff) | |
Updated.
Diffstat (limited to 'coq')
| -rw-r--r-- | coq/BUGS | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -19,4 +19,4 @@ rely too much on the etags mechanism. ** Surely others that aren't mentioned here... - Please report them to proofgen@dcs.ed.ac.uk. + Please report them to bugs@proofgeneral.org |