X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fwww%2Fmatita%2Fdocs%2Fmanual%2Fauthoring.html;h=bb4cab4b4f99bafbd1d42efe523c52d3a45ace19;hb=f64e7e9e24f63a926191f08c6e36ef6763718127;hp=6219d1fa4ee415cdc4f14b9d8a0ee9d0cee13848;hpb=7e374b23b0990d58217467b73e518e59781cb67d;p=helm.git diff --git a/helm/www/matita/docs/manual/authoring.html b/helm/www/matita/docs/manual/authoring.html index 6219d1fa4..bb4cab4b4 100644 --- a/helm/www/matita/docs/manual/authoring.html +++ b/helm/www/matita/docs/manual/authoring.html @@ -1,6 +1,6 @@ -Authoring
Authoring
Prev Chapter 3. Getting started Next

Authoring

How to use developments

+Authoring

Authoring
Prev Chapter 3. Getting started Next

Authoring

How to use developments

A development is a set of scripts files that are strictly related (i.e. they depend on each other). Matita is able to automatically manage dependencies among the scripts in a development, compiling them in the @@ -14,9 +14,9 @@

The "Developments..." item the File menu (or pressing Ctrl+D) opens the Developments window. -

Figure 3.1. The Developments window

Screenshot of the Developments window.

+

Figure 3.1. The Developments window

Screenshot of the Developments window.

Developments window buttons

New

- To create a new Development the user needs to specify a name[1] + To create a new Development the user needs to specify a name[1] and the root directory in which all scripts will be placed, eventually organized in subdirectories. The Development should be named as the directory in which it lives. A "makefile" @@ -52,7 +52,7 @@

Close

Closes the Developments window

-


[1] +


[1] The name of the Development should be the name of the directory in which it lives. This is not a requirement, but the makefile automatically generated by matita in the root directory of the