diff options
| -rw-r--r-- | etc/Mailman/intro-proofgeneral.html | 1 | ||||
| -rw-r--r-- | etc/Mailman/intro-proofgeneraldevel.html | 3 |
2 files changed, 4 insertions, 0 deletions
diff --git a/etc/Mailman/intro-proofgeneral.html b/etc/Mailman/intro-proofgeneral.html new file mode 100644 index 00000000..2d359bbb --- /dev/null +++ b/etc/Mailman/intro-proofgeneral.html @@ -0,0 +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. diff --git a/etc/Mailman/intro-proofgeneraldevel.html b/etc/Mailman/intro-proofgeneraldevel.html new file mode 100644 index 00000000..5a59bc80 --- /dev/null +++ b/etc/Mailman/intro-proofgeneraldevel.html @@ -0,0 +1,3 @@ +Proof General 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. + +For announcements about Proof General and discussion of using it, subscribe to the ProofGeneral list (announcements sent there will <b>not</b> be duplicated here). |