From 2adcef6a5e40b80df3ace2f8472b41ba1d88b3bb Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 18 Nov 1999 17:36:46 +0000
Subject: Trivial

---
 html/gallery.phtml | 4 ++--
 html/links.phtml   | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

(limited to 'html')

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
-- 
cgit v1.2.3