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-proofgeneraldevel.html | |
| parent | 96d6ec3c75418bce0c1de8346a067ed2dacabf73 (diff) | |
Deleted file
Diffstat (limited to 'etc/Mailman/intro-proofgeneraldevel.html')
| -rw-r--r-- | etc/Mailman/intro-proofgeneraldevel.html | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/etc/Mailman/intro-proofgeneraldevel.html b/etc/Mailman/intro-proofgeneraldevel.html deleted file mode 100644 index e8ccd50e..00000000 --- a/etc/Mailman/intro-proofgeneraldevel.html +++ /dev/null @@ -1,4 +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 developers of Proof General to discuss issues in the development of new versions of Proof General, such as new features and adaptation to new proof assistants. -Posting is only available to list members. - -For announcements about Proof General and discussion of using it, subscribe to the <a href="http://lists.informatics.ed.ac.uk/mailman/listinfo/proofgeneral">ProofGeneral users list</a>. Announcements sent there will <b>not</b> be duplicated here. |