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=65317d14f32bc24b3e9ed4ea144833dd8517773a;hp=b067e21ec409f004deffeafc2b4aa001a4a63778;hpb=cce6f6dc86e2891f87b2023f35ccc5d73a10a5dd;p=helm.git diff --git a/helm/software/matita/help/C/sec_gettingstarted.xml b/helm/software/matita/help/C/sec_gettingstarted.xml index b067e21ec..0066449b0 100644 --- a/helm/software/matita/help/C/sec_gettingstarted.xml +++ b/helm/software/matita/help/C/sec_gettingstarted.xml @@ -110,7 +110,7 @@
The Developments window - + Screenshot of the Developments window. @@ -216,6 +216,10 @@ + + The authoring interface + &TODO; +