diff options
| author | David Aspinall | 2004-04-02 16:58:54 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-04-02 16:58:54 +0000 |
| commit | 2a5709c354e09b06556f3f1e19bf2d9a5ad91564 (patch) | |
| tree | 7c401cc749ec9a5a7ab2fcf127a04eb0ac298b67 /IMPORTANT | |
| parent | b33e3f1c7f799aa3e0f3c70e023fa6a50cb308ad (diff) | |
Updated.
Diffstat (limited to 'IMPORTANT')
| -rw-r--r-- | IMPORTANT | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -3,7 +3,7 @@ new web address http://proofgeneral.inf.ed.ac.uk. Report bugs, feedback, suggestions directly to me. It helps if you - use an appropriate +-extension to my mail address, e.g. + use an appropriate "+"-extension to my mail address, e.g. David Aspinall <da+pg-feedback@inf.ed.ac.uk> |