X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fhelp%2FC%2Fsec_tactics.xml;h=130c08e56749cf2f08e9eb607fc3999e19781f83;hb=48aa99d1d9659e55d68ab3ef50b10bc6165eee03;hp=56c2a66167b4e47c17f14cecb6ec5a7cde65a809;hpb=cc3ab906b631ef0edb4402cb622fc3fa96682717;p=helm.git diff --git a/helm/software/matita/help/C/sec_tactics.xml b/helm/software/matita/help/C/sec_tactics.xml index 56c2a6616..130c08e56 100644 --- a/helm/software/matita/help/C/sec_tactics.xml +++ b/helm/software/matita/help/C/sec_tactics.xml @@ -1061,7 +1061,7 @@ its constructor takes no arguments.