diff options
| author | David Aspinall | 1999-06-28 18:09:06 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-06-28 18:09:06 +0000 |
| commit | b36e37eae0e4690c47393625f29ffca4ccdb28b2 (patch) | |
| tree | 2edca69c4835f86bcc13d4090a194874b7fc25c1 | |
| parent | 903124edaedfe71173f306439d2c43d73a972362 (diff) | |
Tweak
| -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 6a317558..ebf309f3 100644 --- a/html/about.phtml +++ b/html/about.phtml @@ -9,7 +9,7 @@ and the code was made generic. </p> <p> -This generic base for Proof General was developed at the +This generic basis for Proof General was 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 |