X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fhelp%2FC%2Fsec_commands.xml;h=1644c85bd88493728d926261f9b32211cb123a2c;hb=536be1abc85882d042c31e301299c90786c9a355;hp=636eac8dc236a66cb744ca5fa8d59e2c5c86ed50;hpb=65317d14f32bc24b3e9ed4ea144833dd8517773a;p=helm.git diff --git a/helm/software/matita/help/C/sec_commands.xml b/helm/software/matita/help/C/sec_commands.xml index 636eac8dc..1644c85bd 100644 --- a/helm/software/matita/help/C/sec_commands.xml +++ b/helm/software/matita/help/C/sec_commands.xml @@ -139,7 +139,7 @@ clusters - + name