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/about.phtml | 6 +++--- html/cvsweb.conf | 14 +++++++------- html/devel.phtml | 2 +- html/oldnews.phtml | 2 +- 4 files changed, 12 insertions(+), 12 deletions(-) (limited to 'html') diff --git a/html/about.phtml b/html/about.phtml index e3e244af..7641676d 100644 --- a/html/about.phtml +++ b/html/about.phtml @@ -1,9 +1,9 @@

About the Proof General project

The forefather of Proof General was LEGO mode, begun in 1994 at the LFCS by Thomas Kleymann. LEGO +href="http://www.lfcs.informatics.ed.ac.uk">LFCS by Thomas Kleymann. LEGO mode was an Emacs-based front end for LEGO similar to David Aspinall's -Isamode, +Isamode, developed at the LFCS since 1992. After 1994, implementations of proof-by-pointing and script management were added to LEGO mode, and the code was made generic. The generic basis was developed by @@ -22,7 +22,7 @@ EPSRC, the EC, -and the LFCS. +and the LFCS.

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 diff --git a/html/devel.phtml b/html/devel.phtml index 1b92fe2b..ce9f1d3c 100644 --- a/html/devel.phtml +++ b/html/devel.phtml @@ -22,7 +22,7 @@ for a summary of changes since the last stable version.
  • -Browse a mirror of the Proof General CVS repository.
    +Browse a mirror of the Proof General CVS repository.
    Note: this mirror is updated nightly, so it may be slightly out of date.
    • diff --git a/html/oldnews.phtml b/html/oldnews.phtml index cff60a68..4078fd73 100644 --- a/html/oldnews.phtml +++ b/html/oldnews.phtml @@ -21,7 +21,7 @@ Thanks to Markus Wenzel and Pierre Lescanne for reporting problems.

    New! For developers, a web-browsable mirror of the Proof General cvs is available -here. +here.

  • 5th May 2000

    -- cgit v1.2.3