From 5aaa43b37e70a6b214d3029f235bbf97f39aad88 Mon Sep 17 00:00:00 2001
From: Paul Callaghan
Date: Tue, 18 Jan 2000 16:08:48 +0000
Subject: in url, change ~dcs7ttg to CARG, the permanent form

---
 html/oldnews.phtml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'html')

diff --git a/html/oldnews.phtml b/html/oldnews.phtml
index e106d13d..13d16fd2 100644
--- a/html/oldnews.phtml
+++ b/html/oldnews.phtml
@@ -152,7 +152,7 @@ support implemented.
   <p>A new instantiation of Proof General has been added by
   <a href="http://www.dur.ac.uk/~dcs1pcc/">Paul Callaghan</a>
   for 
-  <a href="http://www.dur.ac.uk/~dcs7ttg/plastic.html">Plastic</a>,
+  <a href="http://www.dur.ac.uk/CARG/plastic.html">Plastic</a>,
   a new proof assistant based on
   Luo's Typed Logical Framework and
   implemented in Haskell. 
-- 
cgit v1.2.3