diff options
| author | David Aspinall | 2002-08-28 13:45:51 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-08-28 13:45:51 +0000 |
| commit | f614ba8b24487903a879cbecaa02be62ea7cec84 (patch) | |
| tree | 58e6bceb41c25384be82456817e1cc28b34cb740 /html | |
| parent | 0751b5a9db4048e426d3f0adfb688016752b36c7 (diff) | |
Mention support@proofgeneral.org address.
Diffstat (limited to 'html')
| -rw-r--r-- | html/mailinglist | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/html/mailinglist b/html/mailinglist index 35bed81b..3f2e387f 100644 --- a/html/mailinglist +++ b/html/mailinglist @@ -8,6 +8,12 @@ The Proof General Users mailing list is a low-volume list used for announcements of new versions, and occasional discussions amongst users. </p> +<p> +This list is <i>not</i> for those having problems with the +software: please contact +<a href="mailto:support@proofgeneral.org">support@proofgeneral.org</a> +in the first instance. +</p> <h3>Subscriptions</h3> <p> |