From 976711717432e3b794c786c7b5199a0c71bc53ea Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 20 Mar 2001 18:04:47 +0000
Subject: Remove proofgeneral.org on main page
---
html/main.html | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/html/main.html b/html/main.html
index bb9c64ad..e67043ed 100644
--- a/html/main.html
+++ b/html/main.html
@@ -141,7 +141,7 @@ These instances of Proof General are functional, but only show a bare
fraction of what is possible. We are
seeking volunteers to support and improve each of these
(please send a note to
- feedback@proofgen.org if you're interested).
+ if you're interested).
Proof General is ready to be customized to new proof assistants.
--
cgit v1.2.3