From 20cb515932ec51972bd277928d842a46823d3847 Mon Sep 17 00:00:00 2001
From: Joris van der Hoeven <vdhoeven@lix.polytechnique.fr>
Date: Mon, 25 Sep 2017 14:35:53 +0000
Subject: [PATCH] Copyright notice

---
 about/about-summary.en.tm | 61 ++++++++++++++++++++++++++++++++++-----
 1 file changed, 53 insertions(+), 8 deletions(-)

diff --git a/about/about-summary.en.tm b/about/about-summary.en.tm
index 09240c1..84416f3 100644
--- a/about/about-summary.en.tm
+++ b/about/about-summary.en.tm
@@ -1,6 +1,6 @@
-<TeXmacs|1.0.3.11>
+<TeXmacs|1.99.5>
 
-<style|tmdoc>
+<style|<tuple|tmdoc|english>>
 
 <\body>
   <tmdoc-title|Summary>
@@ -9,7 +9,7 @@
   <TeXmacs>>|<cell|>>|<row|<cell|Installed
   version>|<cell|<TeXmacs-version>>>|<row|<cell|Supported systems>|<cell|Most
   GNU/<name|Linux> systems>>|<row|<cell|Copyright>|<cell|<copyright>
-  1998--2002 by Joris van der Hoeven >>|<row|<cell|License>|<cell|<hlink|GNU
+  1998\U2002 by Joris van der Hoeven >>|<row|<cell|License>|<cell|<hlink|GNU
   General Public License|$TEXMACS_PATH/LICENSE>>>|<row|<cell|Web
   sites>|<cell|<tabular|<tformat|<twith|table-valign|T>|<cwith|1|-1|1|-1|cell-lsep|0spc>|<cwith|1|-1|1|-1|cell-rsep|0spc>|<table|<row|<cell|<verbatim|http://www.texmacs.org>>>|<row|<cell|<verbatim|http://www.gnu.org/software/texmacs>>>>>>>>|<row|<cell|Contact>|<cell|<verbatim|contact@texmacs.org>>>|<row|<cell|Regular
   mail>|<cell|<tabular|<tformat|<twith|table-valign|T>|<cwith|1|-1|1|-1|cell-lsep|0spc>|<cwith|1|-1|1|-1|cell-rsep|0spc>|<table|<row|<cell|<abbr|Dr.>
@@ -18,6 +18,54 @@
   Orsay Cedex>>|<row|<cell|France>>>>>>>>>>|Summary of the principal
   information about GNU <TeXmacs>.>
 
+  <paragraph*|Disclaimers>
+
+  <\itemize>
+    <item><TeXmacs> includes the LibAes library with the following copyright
+    notice:
+
+    <\very-small>
+      <\compact>
+        <\verbatim>
+          Copyright (c) 1998-2013, Brian Gladman, Worcester, UK. All rights
+          reserved.
+
+          \;
+
+          The redistribution and use of this software (with or without
+          changes)
+
+          is allowed without the payment of fees or royalties provided that:
+
+          \;
+
+          \ \ source code distributions include the above copyright notice,
+          this
+
+          \ \ list of conditions and the following disclaimer;
+
+          \;
+
+          \ \ binary distributions include the above copyright notice, this
+          list
+
+          \ \ of conditions and the following disclaimer in their
+          documentation.
+
+          \;
+
+          This software is provided 'as is' with no explicit or implied
+          warranties
+
+          in respect of its operation, including, but not limited to,
+          correctness
+
+          and fitness for purpose.
+        </verbatim>
+      </compact>
+    </very-small>
+  </itemize>
+
   <tmdoc-copyright|1998--2002|Joris van der Hoeven>
 
   <tmdoc-license|Permission is granted to copy, distribute and/or modify this
@@ -28,8 +76,5 @@
   Documentation License".>
 </body>
 
-<\initial>
-  <\collection>
-    <associate|language|english>
-  </collection>
-</initial>
\ No newline at end of file
+<initial|<\collection>
+</collection>>
\ No newline at end of file