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