diff options
| author | David Aspinall | 2002-07-14 17:37:25 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-07-14 17:37:25 +0000 |
| commit | 6b5312ab6c4c64095d201a5bc9a7ed05e927f135 (patch) | |
| tree | 47597cc37ed520476191d2987f5c4232e1fa7eef /etc/Mailman/intro-proofgeneral.html | |
| parent | bc848b8a9256ab811bb45e82ea5833a90812421c (diff) | |
Add links
Diffstat (limited to 'etc/Mailman/intro-proofgeneral.html')
| -rw-r--r-- | etc/Mailman/intro-proofgeneral.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/Mailman/intro-proofgeneral.html b/etc/Mailman/intro-proofgeneral.html index 2d359bbb..291b0735 100644 --- a/etc/Mailman/intro-proofgeneral.html +++ b/etc/Mailman/intro-proofgeneral.html @@ -1 +1 @@ -<a href="http://www.proofgeneral.org">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. +<a href="http://www.proofgeneral.org">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. People who are interested in the development of Proof General should also join the <a href="http://lists.informatics.ed.ac.uk/mailman/listinfo/proofgeneral-devel">Proof General developers list</a>. |