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