From fb0b57b2cc525423f3cfc25f19e6c66848fbdc96 Mon Sep 17 00:00:00 2001
From: Joris van der Hoeven <vdhoeven@lix.polytechnique.fr>
Date: Sat, 1 Jun 2019 07:50:40 +0000
Subject: [PATCH] Update

---
 about/philosophy/description.en.tm | 15 +++++++--------
 1 file changed, 7 insertions(+), 8 deletions(-)

diff --git a/about/philosophy/description.en.tm b/about/philosophy/description.en.tm
index d173bc6..6b18171 100644
--- a/about/philosophy/description.en.tm
+++ b/about/philosophy/description.en.tm
@@ -1,6 +1,6 @@
-<TeXmacs|1.99.5>
+<TeXmacs|1.99.9>
 
-<style|<tuple|tmdoc|english>>
+<style|<tuple|tmdoc|english|old-spacing>>
 
 <\body>
   <tmdoc-title|A short description of GNU <TeXmacs>>
@@ -23,13 +23,12 @@
 
   <TeXmacs> runs on all major <name|Unix> platforms and <name|Windows>.
   Documents can be saved in <TeXmacs>, <name|Xml> or <name|Scheme> format and
-  printed as <name|Postscript> or <name|Pdf> files. Converters exist for
-  <TeX>/<LaTeX> and <name|Html>/<name|Mathml>.
+  printed as <name|Postscript> or <name|Pdf> files. Although <TeXmacs> is
+  <em|not> based on <TeX>/<LaTeX>, high quality converters exist for <LaTeX>.
+  Documents can also be exported to <name|Html>/<name|Mathml> for publication
+  on the web.
 
-  GNU <TeXmacs> is hosted by <hlink|INRIA|http://www.inria.fr>, Bātiment Alan
-  Turing, Palaiseau, France.
-
-  <tmdoc-copyright|1998--2013|Joris van der Hoeven>
+  <tmdoc-copyright|1998--2019|Joris van der Hoeven>
 
   <tmdoc-license|Permission is granted to copy, distribute and/or modify this
   document under the terms of the GNU Free Documentation License, Version 1.1