From abcc39fb8e3aa66ca4b441e5b2ff318a4978aacb Mon Sep 17 00:00:00 2001
From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Wed, 14 Jun 2006 15:03:46 +0000
Subject: [PATCH] better wording of a sentence

---
 helm/www/matita/matita.shtml | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/helm/www/matita/matita.shtml b/helm/www/matita/matita.shtml
index 57298c377..ce58853f7 100644
--- a/helm/www/matita/matita.shtml
+++ b/helm/www/matita/matita.shtml
@@ -26,10 +26,10 @@
       </span>
       Matita is <strong>traditional</strong>. Its logical foundation is the
       Calculus of (Co)Inductive Constructions (CIC). It can re-use
-      mathematical concepts produced by other proof assistants like
-      <a href="http://coq.inria.fr">Coq</a> and encoded in an
-      <a href="http://www.w3.org/XML/">XML</a> encoding of CIC. The interaction
-      paradigm of Matita is familiar, being inspired by CtCoq and
+      mathematical concepts produced by other proof assistants (e.g.
+      <a href="http://coq.inria.fr">Coq</a>) when encoded in an
+      <a href="http://www.w3.org/XML/">XML</a> representation of CIC. The
+      interaction paradigm of Matita is familiar, being inspired by CtCoq and
       <a href="http://proofgeneral.inf.ed.ac.uk/">Proof General</a>. Its
       proof language is procedural in the same spirit of LCF. </p>
 
-- 
2.39.2