diff options
Diffstat (limited to 'html')
| -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. |