From 665793e2e5cc528af5cff6995ec9a2c072502f04 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Tue, 26 Sep 2000 12:18:37 +0000 Subject: Fix Proof General web page to www.proofgeneral.org. --- html/cvsweb.conf | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) (limited to 'html/cvsweb.conf') diff --git a/html/cvsweb.conf b/html/cvsweb.conf index cf3b03b2..73de6277 100644 --- a/html/cvsweb.conf +++ b/html/cvsweb.conf @@ -79,7 +79,7 @@ $cvstreedefault = 'ProofGeneral'; ############## $stylesheet = ''; @@ -88,8 +88,8 @@ $stylesheet = ' + Proof General'; @@ -98,7 +98,7 @@ $defaulttitle = "Proof General CVS Repository"; # This message is shown on the footer $footer = ' -Contact David Aspinall +Contact David Aspinall for information about Proof General development.
This page was generated by @@ -342,9 +342,9 @@ $tabstop = 8; # $bighr="
"; # $widehr="
"; -$hr = ''; -$bighr = ''; -$widehr = ''; +$hr = ''; +$bighr = ''; +$widehr = ''; #EOF -- cgit v1.2.3