diff options
| author | David Aspinall | 1999-11-18 17:36:46 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-18 17:36:46 +0000 |
| commit | 2adcef6a5e40b80df3ace2f8472b41ba1d88b3bb (patch) | |
| tree | 235a0f9ff9163a671045de85f1e74e667b1a4c27 | |
| parent | b1ccda26afa257d865cb03dfd84c9f125657e96d (diff) | |
Trivial
| -rw-r--r-- | html/gallery.phtml | 4 | ||||
| -rw-r--r-- | html/links.phtml | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/html/gallery.phtml b/html/gallery.phtml index b70a22d4..62a57b43 100644 --- a/html/gallery.phtml +++ b/html/gallery.phtml @@ -9,8 +9,8 @@ Here are some publicity pictures for Proof General. They were created by David Aspinall in his spare time, using the excellent freeware programs <a href="http://www.gimp.org">GIMP</a> and <a href="http://www.blender.nl">Blender</a>. The General himself is -based on a commercial mesh by <a -href="http://www.viewpoint.com">Viewpoint</a>. +based on a commercial mesh by +<a href="http://www.viewpoint.com">Viewpoint</a>. </p> <p> Click on a thumbnail to see a full-size images. All full-size images diff --git a/html/links.phtml b/html/links.phtml index 87fb489c..7e691384 100644 --- a/html/links.phtml +++ b/html/links.phtml @@ -18,7 +18,7 @@ for links to include here, or find broken links, please <ul> <li><a href="http://www-sop.inria.fr/croap/ctcoq/ctcoq-eng.html">CtCoq</a> is an interface for the Coq theorem prover, developed - at INRIA, Sophia Antipolis as part of + at INRIA, Sophia Antipolis, as part of <a href="http://www-sop.inria.fr/croap/">Projet CROAP</a>. Like Proof General, CtCoq is based on a general approach for building user-interfaces for theorem provers, although no other |