added doc for compose

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

diff --git a/matita/help/C/tactics_quickref.xml b/matita/help/C/tactics_quickref.xml
index 70d42ac2b59891d92a7614952cde0d91706a6856..119985dc4289db0bf40a76232210e505024fa71d 100644 (file)
--- a/matita/help/C/tactics_quickref.xml
+++ b/matita/help/C/tactics_quickref.xml
@@ -57,6 +57,11 @@
         <entry>|</entry>
         <entry><link linkend="tac_clearbody"><emphasis role="bold">clearbody</emphasis></link> <emphasis><link linkend="grammar.id">id</link></emphasis></entry>
       </row>
+      <row>
+        <entry/>
+        <entry>|</entry>
+        <entry><link linkend="tac_compose"><emphasis role="bold">compose</emphasis></link> [&nat;] &sterm; [<emphasis role="bold">with</emphasis> &sterm;] [&intros-spec;]</entry>
+      </row>
       <row>
         <entry/>
         <entry>|</entry>