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

---
 html/links.phtml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'html/links.phtml')

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