diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1999-06-30 13:56:31 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1999-06-30 13:56:31 +0000 |
commit | 8cb24a0678a575d9cd84e0cd0aeac81f2bd910f9 (patch) | |
tree | 205b96cdfb47988b1e6d3aab9cc43d94417132d5 /html | |
parent | 35642157dc5b17bb06f803189ab9c7dff01c7425 (diff) |
Tweaks
Diffstat (limited to 'html')
-rw-r--r-- | html/about.phtml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/html/about.phtml b/html/about.phtml index ebf309f3..857a7ad1 100644 --- a/html/about.phtml +++ b/html/about.phtml @@ -9,7 +9,7 @@ and the code was made generic. </p> <p> -This generic basis for Proof General was developed at the +This generic basis for Proof General was further developed at the <a href="http://www.dcs.ed.ac.uk/lfcs">LFCS</a> by Kleymann, Sequeira, Goguen and Aspinall (in order of appearance). It follows some of the ideas used in |