diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2004-02-08 15:40:12 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2004-02-08 15:40:12 +0000 |
| commit | 18ebfd87cda9d7fa55903ae7bb5f4535d951785d (patch) | |
| tree | 6b498d653c3a4f8a2807a88cd2232a0cf7a0085d /CHANGES | |
| parent | cc9d94a66a129cdb9ff84e35f09f9d9b72ff4549 (diff) | |
Fix web addresses
Diffstat (limited to 'CHANGES')
| -rw-r--r-- | CHANGES | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -1,9 +1,9 @@ -*- outline -*- ---- This is a development release of Proof General, --- ---- some features may be incomplete or buggy. Please --- ---- report any problems to support@proofgeneral.org, --- ---- thanks. Check files BUGS and <prover>/BUGS first. --- +--- This is a development release of Proof General, --- +--- some features may be incomplete or buggy. Please --- +--- report any problems to da+pg-support@inf.ed.ac.uk --- +--- thanks. Check files BUGS and <prover>/BUGS first. --- * Summary of Changes for Proof General 3.5pre from 3.4 |