More commands documented.

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

diff --git a/helm/software/matita/help/C/matita.xml b/helm/software/matita/help/C/matita.xml
index 8a9aee15ecf10008ef055b9e7c9d76e894b86ef3..c8dbadeb37533303ef0a94579e93aec7c1048a6f 100644 (file)
--- a/helm/software/matita/help/C/matita.xml
+++ b/helm/software/matita/help/C/matita.xml
@@ -46,7 +46,7 @@
   <!ENTITY proofstep "<emphasis><link linkend='grammar.proofstep'>proof-step</link></emphasis>">
   <!ENTITY tactic "<emphasis><link linkend='grammar.tactic'>tactic</link></emphasis>">
   <!ENTITY LCFtactical "<emphasis><link linkend='grammar.LCFtactical'>LCF-tactical</link></emphasis>">
-  <!ENTITY string "<emphasis><link linkend='grammar.string'>string</link></emphasis>">
+  <!ENTITY qstring "<emphasis><link linkend='grammar.qstring'>qstring</link></emphasis>">
   <!ENTITY interpretation "<emphasis><link linkend='grammar.interpretation'>interpretation</link></emphasis>">
 ]>