X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Fmatita%2Fhelp%2FC%2Fsec_gettingstarted.xml;h=0066449b0294618bff6953768c8d80f40c519350;hb=2f857ddcadb88445744b1490cb510023b7192930;hp=8680f4b4371eaf8118950eaa322cb9afd1e9acd7;hpb=a3dec92d472a53ec1f87e927e1ef118b4e04a5bd;p=helm.git diff --git a/helm/software/matita/help/C/sec_gettingstarted.xml b/helm/software/matita/help/C/sec_gettingstarted.xml index 8680f4b43..0066449b0 100644 --- a/helm/software/matita/help/C/sec_gettingstarted.xml +++ b/helm/software/matita/help/C/sec_gettingstarted.xml @@ -216,6 +216,10 @@ + + The authoring interface + &TODO; +