From f75d047944ab0c2bb85e5d6efea379cbaca57b75 Mon Sep 17 00:00:00 2001
From: Darcy Shen <sadhen@zoho.com>
Date: Fri, 19 Feb 2016 10:15:03 +0000
Subject: [PATCH] DOC_EN: correct escape sequence for < and >

---
 devel/format/basics/tm-tm.en.tm | 118 ++++++++++++++------------------
 1 file changed, 52 insertions(+), 66 deletions(-)

diff --git a/devel/format/basics/tm-tm.en.tm b/devel/format/basics/tm-tm.en.tm
index 46f7a50..71a1275 100644
--- a/devel/format/basics/tm-tm.en.tm
+++ b/devel/format/basics/tm-tm.en.tm
@@ -1,6 +1,6 @@
-<TeXmacs|1.0.3.10>
+<TeXmacs|1.99.4>
 
-<style|tmdoc>
+<style|<tuple|tmdoc|english>>
 
 <\body>
   <tmdoc-title|Default serialization>
@@ -38,30 +38,28 @@
     <verbatim|\<less\>f\|x<rsub|1>\|...\|x<rsub|n>\<gtr\>>
   </tm-fragment>
 
-  If one of the arguments <with|mode|math|x<rsub|1>,\<ldots\>,x<rsub|n>> is a
+  If one of the arguments <math|x<rsub|1>,\<ldots\>,x<rsub|n>> is a
   multi-paragraph tree (which means in this context that it contains a
   <markup|document> tag or a <markup|collection> tag), then an alternative
   long form is used for the serialization. If <verbatim|f> takes only
   multi-paragraph arguments, then the tree would be serialized as
 
   <\tm-fragment>
-    <\with|par-par-sep|0fn>
-      <\verbatim>
-        \<less\>\\f\<gtr\>
+    <\verbatim>
+      \<less\>\\f\<gtr\>
 
-        \ \ x<rsub|1>
+      \ \ x<rsub|1>
 
-        \<less\>\|f\<gtr\>
+      \<less\>\|f\<gtr\>
 
-        \ \ ...
+      \ \ ...
 
-        \<less\>\|f\<gtr\>
+      \<less\>\|f\<gtr\>
 
-        \ \ x<rsub|n>
+      \ \ x<rsub|n>
 
-        \<less\>/f\<gtr\>
-      </verbatim>
-    </with>
+      \<less\>/f\<gtr\>
+    </verbatim>
   </tm-fragment>
 
   In general, arguments which are not multi-paragraph are serialized using
@@ -71,40 +69,37 @@
   (<reference|gen-tree-tm>) is serialized as
 
   <\tm-fragment>
-    <\with|par-par-sep|0fn>
-      <\verbatim>
-        \<less\>\\f\|x<rsub|1>\|x<rsub|2>\<gtr\>
+    <\verbatim>
+      \<less\>\\f\|x<rsub|1>\|x<rsub|2>\<gtr\>
 
-        \ \ x<rsub|3>
+      \ \ x<rsub|3>
 
-        \<less\>\|f\|x<rsub|4>\<gtr\>
+      \<less\>\|f\|x<rsub|4>\<gtr\>
 
-        \ \ x<rsub|5>
+      \ \ x<rsub|5>
 
-        \<less\>/f\<gtr\>
-      </verbatim>
-    </with>
+      \<less\>/f\<gtr\>
+    </verbatim>
   </tm-fragment>
 
-  The escape sequences <verbatim|\\\<less\>>, <verbatim|\\\|>,
-  <verbatim|\\\<gtr\>> and <verbatim|\\\\> may be used to represent the
-  characters <verbatim|\<less\>>, <verbatim|\|>, <verbatim|\<gtr\>> and
-  <verbatim|\\>. For instance, <with|mode|math|\<alpha\>+\<beta\>> is
-  serialized as <verbatim|\\\<less\>alpha\\\<gtr\>+\\\<less\>beta\\\<gtr\>>.
+  The escape sequences <verbatim|\\\<less\>less\\\<gtr\>>, <verbatim|\\\|>,
+  <verbatim|\\\<less\>gtr\\\<gtr\>> and <verbatim|\\\\> may be used to
+  represent the characters <verbatim|\<less\>>, <verbatim|\|>,
+  <verbatim|\<gtr\>> and <verbatim|\\>. For instance,
+  <math|\<alpha\>+\<beta\>> is serialized as
+  <verbatim|\\\<less\>alpha\\\<gtr\>+\\\<less\>beta\\\<gtr\>>.
 
   <paragraph*|Formatting and whitespace>
 
   The <markup|document> and <markup|concat> primitives are serialized in a
   special way. The <markup|concat> primitive is serialized as usual
-  concatenation. For instance, the text ``an <em|important> note'' is
+  concatenation. For instance, the text \Pan <em|important> note\Q is
   serialized as
 
   <\tm-fragment>
-    <\with|par-par-sep|0fn>
-      <\verbatim>
-        an \<less\>em\|important\<gtr\> note
-      </verbatim>
-    </with>
+    <\verbatim>
+      an \<less\>em\|important\<gtr\> note
+    </verbatim>
   </tm-fragment>
 
   The <markup|document> tag is serialized by separating successive paragraphs
@@ -119,19 +114,17 @@
   is serialized as
 
   <\tm-fragment>
-    <\with|par-par-sep|0fn>
-      <\verbatim>
-        \<less\>\\quote-env\<gtr\>
+    <\verbatim>
+      \<less\>\\quote-env\<gtr\>
 
-        \ \ Ik ben de blauwbilgorgel.
+      \ \ Ik ben de blauwbilgorgel.
 
-        \;
+      \;
 
-        \ \ Als ik niet wok of worgel,
+      \ \ Als ik niet wok of worgel,
 
-        \<less\>/quote-env\<gtr\>
-      </verbatim>
-    </with>
+      \<less\>/quote-env\<gtr\>
+    </verbatim>
   </tm-fragment>
 
   Notice that whitespace at the beginning and end of paragraphs is ignored.
@@ -141,26 +134,24 @@
   disk as
 
   <\tm-fragment>
-    <\with|par-par-sep|0fn>
-      <\verbatim>
-        \<less\>\\quote-env\<gtr\>
+    <\verbatim>
+      \<less\>\\quote-env\<gtr\>
 
-        \ \ Ik ben de \ \ \ \ \ \ \ \ \ \ blauwbilgorgel.
+      \ \ Ik ben de \ \ \ \ \ \ \ \ \ \ blauwbilgorgel.
 
-        \;
+      \;
 
-        \;
+      \;
 
-        \ \ Als ik niet wok of \ \ \ \ \ \ \ \ \ worgel,
+      \ \ Als ik niet wok of \ \ \ \ \ \ \ \ \ worgel,
 
-        \<less\>/quote-env\<gtr\>
-      </verbatim>
-    </with>
+      \<less\>/quote-env\<gtr\>
+    </verbatim>
   </tm-fragment>
 
   The space character may be explicitly represented through the escape
-  sequence ``<verbatim|\\ >''. Empty paragraphs are represented using the
-  escape sequence ``<verbatim|\\;>''.
+  sequence \P<verbatim|\\ >\Q. Empty paragraphs are represented using the
+  escape sequence \P<verbatim|\\;>\Q.
 
   <paragraph*|Raw data>
 
@@ -169,17 +160,15 @@
   Such binary data is serialized as
 
   <\tm-fragment>
-    <\with|par-par-sep|0fn>
-      <\verbatim>
-        \<less\>#<em|binary-data>\<gtr\>
-      </verbatim>
-    </with>
+    <\verbatim>
+      \<less\>#<em|binary-data>\<gtr\>
+    </verbatim>
   </tm-fragment>
 
   where the <verbatim|<em|binary-data>> is a string of hexadecimal numbers
   which represents a string of bytes.
 
-  <tmdoc-copyright|2004|Joris van der Hoeven>
+  <tmdoc-copyright|2016|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
@@ -189,8 +178,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