diff options
Diffstat (limited to 'html')
| -rw-r--r-- | html/about.phtml | 6 | ||||
| -rw-r--r-- | html/cvsweb.conf | 14 | ||||
| -rw-r--r-- | html/devel.phtml | 2 | ||||
| -rw-r--r-- | html/oldnews.phtml | 2 |
4 files changed, 12 insertions, 12 deletions
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 @@ <h2>About the Proof General project</h2> <p> The forefather of Proof General was LEGO mode, begun in 1994 at the <a -href="http://www.dcs.ed.ac.uk/lfcs">LFCS</a> by Thomas Kleymann. LEGO +href="http://www.lfcs.informatics.ed.ac.uk">LFCS</a> by Thomas Kleymann. LEGO mode was an Emacs-based front end for LEGO similar to David Aspinall's -<a href="http://zermelo.dcs.ed.ac.uk/~isamode">Isamode</a>, +<a href="http://www.proofgeneral.org/~isamode">Isamode</a>, 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, <!-- </a>, --> the <a href="http://www.dcs.ed.ac.uk/lfcs/research/types_bra/index.html">EC</a>, -and the <a href="http://www.dcs.ed.ac.uk/lfcs">LFCS</a>. +and the <a href="http://www.lfcs.informatics.ed.ac.uk">LFCS</a>. </p> <p> 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 = '<link rel="stylesheet" - href="http://zermelo.dcs.ed.ac.uk/~proofgen/proofgen.css" + href="http://www.proofgeneral.org/proofgen.css" type="text/css">'; @@ -88,8 +88,8 @@ $stylesheet = '<link rel="stylesheet" $body_tag = '<body>'; # Wanna have a logo on the page ? -$logo = '<a href="http://zermelo.dcs.ed.ac.uk/~proofgen"> - <img src="http://zermelo.dcs.ed.ac.uk/~proofgen/images/ProofGeneral.jpg" alt="Proof General" align=top +$logo = '<a href="http://www.proofgeneral.org"> + <img src="http://www.proofgeneral.org/images/ProofGeneral.jpg" alt="Proof General" align=top width=65 height=76 border=0 ></a>'; @@ -98,7 +98,7 @@ $defaulttitle = "Proof General CVS Repository"; # This message is shown on the footer $footer = '<small> -<i>Contact <a href="http://zermelo.dcs.ed.ac.uk/~da/">David Aspinall</a> +<i>Contact <a href="http://www.proofgeneral.org/~da/">David Aspinall</a> for information about Proof General development. <br> This page was generated by @@ -342,9 +342,9 @@ $tabstop = 8; # $bighr="<hr noshade size=1>"; # $widehr="<hr noshade width=100%>"; -$hr = '<img border=0 src="http://zermelo.dcs.ed.ac.uk/~proofgen/images/silverrule.gif" height=4 width=100%>'; -$bighr = '<img border=0 src="http://zermelo.dcs.ed.ac.uk/~proofgen/images/silverrule.gif" height=8 width=100%>'; -$widehr = '<img border=0 src="http://zermelo.dcs.ed.ac.uk/~proofgen/images/silverrule.gif" height=4 width=100%>'; +$hr = '<img border=0 src="http://www.proofgeneral.org/images/silverrule.gif" height=4 width=100%>'; +$bighr = '<img border=0 src="http://www.proofgeneral.org/images/silverrule.gif" height=8 width=100%>'; +$widehr = '<img border=0 src="http://www.proofgeneral.org/images/silverrule.gif" height=4 width=100%>'; #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. </ul> <ul> <li> -Browse a mirror of the <a href="http://zermelo.dcs.ed.ac.uk/cgi-bin/cvsweb.cgi">Proof General CVS repository</a>. <br> +Browse a mirror of the <a href="http://www.proofgeneral.org/cgi-bin/cvsweb.cgi">Proof General CVS repository</a>. <br> <i>Note:</i> this mirror is updated nightly, so it may be slightly out of date.<br> </li> 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. <p> New! For developers, a web-browsable mirror of the Proof General cvs is available -<a href="http://zermelo.dcs.ed.ac.uk/cgi-bin/cvsweb.cgi">here</a>. +<a href="http://www.proofgeneral.org/cgi-bin/cvsweb.cgi">here</a>. </p> <li><b>5th May 2000</b> <p> |