From aa5426b2fbb23bd74f5e9351cce2cd215e585baa Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Mon, 12 Apr 2010 16:10:45 +0200
Subject: [PATCH] * wrap/python/cgi-bin/ltl2tgba.in: Document W and M
 operators.

---
 ChangeLog                       |  4 ++++
 wrap/python/cgi-bin/ltl2tgba.in | 13 +++++++++----
 2 files changed, 13 insertions(+), 4 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index a0a723646..432c9b97b 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2010-04-12  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
+
+	* wrap/python/cgi-bin/ltl2tgba.in: Document W and M operators.
+
 2010-04-12  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
 
 	More LTL reductions for W and M.
diff --git a/wrap/python/cgi-bin/ltl2tgba.in b/wrap/python/cgi-bin/ltl2tgba.in
index e5bf7129d..dd65c1ebd 100755
--- a/wrap/python/cgi-bin/ltl2tgba.in
+++ b/wrap/python/cgi-bin/ltl2tgba.in
@@ -346,7 +346,7 @@ an identifier: <code>aUb</code> is an atomic proposition, unlike
       <td align="right">not:</td><td><code>!</code></td>
       <td align="right">and:</td><td><code>&</code> <code>&&</code>
                                      <code>.</code> <code>/\</code></td>
-      <td align="right">xor:</td><td><code>^</code> <code>xor</code></td>
+      <td align="right">(strong) until:</td><td><code>U</code></td>
       <td align="right">true:</td><td><code>1</code>
                                       <code>true</code></td>
     </tr>
@@ -356,7 +356,7 @@ an identifier: <code>aUb</code> is an atomic proposition, unlike
       <td align="right">or:</td><td><code>|</code> <code>||</code>
                                     <code>+</code> <code>\/</code></td>
 
-      <td align="right">until:</td><td><code>U</code></td>
+      <td align="right">weak until:</td><td><code>W</code></td>
       <td align="right">false:</td><td><code>0</code>
                                        <code>false</code></td>
     </tr>
@@ -365,7 +365,7 @@ an identifier: <code>aUb</code> is an atomic proposition, unlike
                                         <code>[]</code></td>
       <td align="right">implies:</td><td><code>-&gt;</code>
                                          <code>=&gt;</code></td>
-      <td align="right">release:</td><td><code>R</code>
+      <td align="right">(weak) release:</td><td><code>R</code>
                                          <code>V</code></td>
       <td></td><td></td>
     </tr>
@@ -373,10 +373,15 @@ an identifier: <code>aUb</code> is an atomic proposition, unlike
       <td align="right">next:</td><td><code>X</code> <code>()</code></td>
       <td align="right">equivalent:</td><td><code>&lt;-&gt;</code>
                                             <code>&lt;=&gt;</code></td>
+      <td align="right">strong release:</td><td><code>M</code></td>
+      <td></td><td></td>
+    </tr>
+    <tr>
+      <td></td><td></td>
+      <td align="right">xor:</td><td><code>^</code> <code>xor</code></td>
       <td></td><td></td>
       <td></td><td></td>
     </tr>
-
   </tbody>
 </table></td></tr></table>"""