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