new, more rigid syntax, for auto_params affecting the declarative language.

[helm.git] / helm / software / matita / help / C / sec_terms.xml

diff --git a/helm/software/matita/help/C/sec_terms.xml b/helm/software/matita/help/C/sec_terms.xml
index 592e583e4ebfe490c8ae39fae438491216ed8e86..6f247d04ad92c2d7006da4be2a9f5f50d354d4a1 100644 (file)
--- a/helm/software/matita/help/C/sec_terms.xml
+++ b/helm/software/matita/help/C/sec_terms.xml
@@ -737,7 +737,7 @@
        <entry>::=</entry>
         <entry>[&simpleautoparam;]…
                [<emphasis role="bold">by</emphasis>
-                &term;, [&term;]…]
+                &term; [,&term;]…]
         </entry>
        </row>
       </tbody>
@@ -780,6 +780,13 @@
         <entry>Try to close the goal performing unit-equality paramodulation
         </entry>
        </row>
+       <row>
+        <entry/>
+        <entry>|</entry>
+        <entry><emphasis role="bold">timeout=&nat;</emphasis></entry>
+        <entry>Timeout in seconds
+        </entry>
+       </row>
       </tbody>
      </tgroup>
     </table>