From 5effdb6e7e389d76424877f9f81ef6f202e9a0be Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 14 Jul 2002 16:56:35 +0000
Subject: New files.

---
 etc/Mailman/intro-proofgeneral.html | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 etc/Mailman/intro-proofgeneral.html

(limited to 'etc/Mailman/intro-proofgeneral.html')

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.
-- 
cgit v1.2.3