diff options
| author | David Aspinall | 2009-09-07 20:31:39 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-07 20:31:39 +0000 |
| commit | 5492bc751b140106e59c60e7499f1a43fd5ca045 (patch) | |
| tree | 5ec9263456833f116fcc3d4dfa9984616eee5c52 /etc/Mailman/intro-proofgeneral.html | |
| parent | 96d6ec3c75418bce0c1de8346a067ed2dacabf73 (diff) | |
Deleted file
Diffstat (limited to 'etc/Mailman/intro-proofgeneral.html')
| -rw-r--r-- | etc/Mailman/intro-proofgeneral.html | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/etc/Mailman/intro-proofgeneral.html b/etc/Mailman/intro-proofgeneral.html deleted file mode 100644 index 57e9dd06..00000000 --- a/etc/Mailman/intro-proofgeneral.html +++ /dev/null @@ -1,3 +0,0 @@ -<a href="http://proofgeneral.inf.ed.ac.uk">Proof General</a> is a generic interface for proof assistants, currently based on Emacs. This mailing list is for the announcement of new versions of Proof General and discussions about using Proof General. Posting is only available to list members. - -If you have a problem with using or configuring Proof General, please contact <a href="mailto:da+pg-support@inf.ed.ac.uk">da+pg-support@inf.ed.ac.uk</a> instead of posting to this list. People who are interested in the development of Proof General should join the <a href="http://lists.informatics.ed.ac.uk/mailman/listinfo/proofgeneral-devel">Proof General developers list</a>. |