X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=matita%2Fhelp%2FC%2Fsec_install.xml;h=44e46b7fcfb93f0ffa9dd70378df533606464bac;hb=dd4b01b7fbd69a4af86ec5d41eb5da39a27e4a64;hp=eb4cfb17e1e804f3405c0f9b16cba4d2b2cbadf1;hpb=af9c6c84fe2d1a44517c5a7eca569889d452f7cd;p=helm.git diff --git a/matita/help/C/sec_install.xml b/matita/help/C/sec_install.xml index eb4cfb17e..44e46b7fc 100644 --- a/matita/help/C/sec_install.xml +++ b/matita/help/C/sec_install.xml @@ -364,5 +364,14 @@ + + + Configuring Matita + + The file matita.conf.xml... + &TODO; + + +