diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2002-08-09 08:16:19 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2002-08-09 08:16:19 +0000 |
| commit | 566bc444ad7c33f66d705d3f4bf905532bb852d2 (patch) | |
| tree | 15375b4785de35365ae196a380c9978dc58062ed /REGISTER | |
| parent | 0570ebddbf94b5db82667a15d96a1addd61f66a9 (diff) | |
Updated.
Diffstat (limited to 'REGISTER')
| -rw-r--r-- | REGISTER | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -2,8 +2,8 @@ Please register your use of Proof General on the web at: http://www.proofgeneral.org/register -The information provided will only be used to help provide a case for -support for Proof General in the future. +The information provided will only be used to help a case for support +for Proof General in the future. There is also an opportunity to join the mailing list from this page. To add or remove yourself from the mailing list after registering, go |