diff options
| author |  Paul Callaghan <p.c.callaghan@durham.ac.uk> | 2000-01-18 16:08:48 +0000 |
|---|---|---|
| committer | Paul Callaghan <p.c.callaghan@durham.ac.uk> | 2000-01-18 16:08:48 +0000 |
| commit | 5aaa43b37e70a6b214d3029f235bbf97f39aad88 (patch) | |
| tree | 7023f0a62c9bc9128c9a29c4d2b8209858cc0bef | |
| parent | 51d13d16d186c9f8e139976db12f8f9cabdc0303 (diff) | |
in url, change ~dcs7ttg to CARG, the permanent form
| -rw-r--r-- | html/oldnews.phtml | 2 |
1 files changed, 1 insertions, 1 deletions
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. |