[tepl] intro: previously known as -> previously named

[Sébastien Wilmet <swilmet src gnome org>]

commit 9bb94b907004726f4a65fd94c642105f16d8993a
Author: Sébastien Wilmet <swilmet gnome org>
Date:   Wed Jun 14 09:45:13 2017 +0200

    intro: previously known as -> previously named
    
    I don't think it was really known…

 README                      |    2 +-
 docs/reference/intro.xml.in |    6 +++---
 2 files changed, 4 insertions(+), 4 deletions(-)
---
diff --git a/README b/README
index d225b84..b927314 100644
--- a/README
+++ b/README
@@ -6,7 +6,7 @@ This is version 2.99.0 of Tepl.
 Tepl is a library that eases the development of GtkSourceView-based text
 editors and IDEs.
 
-Tepl was previously known as Gtef (GTK+ text editor framework). The project has
+Tepl was previously named Gtef (GTK+ text editor framework). The project has
 been renamed in June 2017 to have a more beautiful name. The end of Tepl is
 pronounced like “apple”.
 
diff --git a/docs/reference/intro.xml.in b/docs/reference/intro.xml.in
index 78daec5..9ded496 100644
--- a/docs/reference/intro.xml.in
+++ b/docs/reference/intro.xml.in
@@ -21,9 +21,9 @@
   </para>
 
   <para>
-    Tepl was previously known as Gtef (GTK+ text editor framework). The project
-    has been renamed in June 2017 to have a more beautiful name. The end of Tepl
-    is pronounced like “apple”.
+    Tepl was previously named Gtef (GTK+ text editor framework). The project has
+    been renamed in June 2017 to have a more beautiful name. The end of Tepl is
+    pronounced like “apple”.
   </para>
 
   <para>