- "linear" flag added to lapply (automatic clearing)

[helm.git] / matita / help / C / tactic_quickref.xml

diff --git a/matita/help/C/tactic_quickref.xml b/matita/help/C/tactic_quickref.xml
index 45e097e1bd1691f7436da434bfd804aef3a7afa0..dd14d8a2685b15d99c9493b9bebeaf21a7de122a 100644 (file)
--- a/matita/help/C/tactic_quickref.xml
+++ b/matita/help/C/tactic_quickref.xml
@@ -117,6 +117,7 @@
   <listitem>
     <para>
             <link linkend="tac_lapply"><emphasis role="bold">lapply</emphasis></link> 
+            [<emphasis role="bold">linear</emphasis>]
             [<emphasis role="bold">depth=</emphasis><emphasis><link linkend="grammar.nat">nat</link></emphasis>] 
             <emphasis><link linkend="grammar.sterm">sterm</link></emphasis> 
             [<emphasis role="bold">to</emphasis>