X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fhelp%2FC%2Fsec_gettingstarted.xml;h=0066449b0294618bff6953768c8d80f40c519350;hb=65317d14f32bc24b3e9ed4ea144833dd8517773a;hp=b9a9c34d927be6406db6c9b5ab34f6b381e667df;hpb=f7e40489c0bf57f6f4a14ef8d426b45d7103de0f;p=helm.git diff --git a/helm/software/matita/help/C/sec_gettingstarted.xml b/helm/software/matita/help/C/sec_gettingstarted.xml index b9a9c34d9..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; +