]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/matita/docs/manual/authoring.html
projects / helm.git / blobdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | inline | side by side
manual regenerated
[helm.git] / helm / www / matita / docs / manual / authoring.html
diff --git a/helm/www/matita/docs/manual/authoring.html b/helm/www/matita/docs/manual/authoring.html
index 6219d1fa4ee415cdc4f14b9d8a0ee9d0cee13848..bb4cab4b4f99bafbd1d42efe523c52d3a45ace19 100644 (file)
--- a/helm/www/matita/docs/manual/authoring.html
+++ b/helm/www/matita/docs/manual/authoring.html
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
-<html xmlns="http://www.w3.org/1999/xhtml"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /><title>Authoring</title><meta name="generator" content="DocBook XSL Stylesheets V1.68.1" /><link rel="start" href="index.html" title="Matita V0.1.0&#10; Manual (rev. 0)" /><link rel="up" href="sec_gettingstarted.html" title="Chapter 3. Getting started" /><link rel="prev" href="cicbrowser.html" title="Browsing and searching" /><link rel="next" href="sec_terms.html" title="Chapter 4. Syntax" /></head><body><div class="navheader"><table width="100%" summary="Navigation header"><tr><th colspan="3" align="center">Authoring</th></tr><tr><td width="20%" align="left"><a accesskey="p" href="cicbrowser.html">Prev</a> </td><th width="60%" align="center">Chapter 3. Getting started</th><td width="20%" align="right"> <a accesskey="n" href="sec_terms.html">Next</a></td></tr></table><hr /></div><div class="sect1" lang="en" xml:lang="en"><div class="titlepage"><div><div><h2 class="title" style="clear: both"><a id="authoring"></a>Authoring</h2></div></div></div><div class="sect2" lang="en" xml:lang="en"><div class="titlepage"><div><div><h3 class="title"><a id="developments"></a>How to use developments</h3></div></div></div><p>
+<html xmlns="http://www.w3.org/1999/xhtml"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /><title>Authoring</title><link rel="stylesheet" href="docbook.css" type="text/css" /><meta name="generator" content="DocBook XSL Stylesheets V1.68.1" /><link rel="start" href="index.html" title="Matita V0.1.0&#10; User Manual (rev. 1α)" /><link rel="up" href="sec_gettingstarted.html" title="Chapter 3. Getting started" /><link rel="prev" href="cicbrowser.html" title="Browsing and searching" /><link rel="next" href="sec_terms.html" title="Chapter 4. Syntax" /></head><body><a xmlns="" href="../../"><div class="matita_logo"><img src="../../images/matita-tiny.png" alt="Tiny Matita logo" /><span>Matita Home</span></div></a><div class="navheader"><table width="100%" summary="Navigation header"><tr><th colspan="3" align="center">Authoring</th></tr><tr><td width="20%" align="left"><a accesskey="p" href="cicbrowser.html">Prev</a> </td><th width="60%" align="center">Chapter 3. Getting started</th><td width="20%" align="right"> <a accesskey="n" href="sec_terms.html">Next</a></td></tr></table><hr /></div><div class="sect1" lang="en" xml:lang="en"><div class="titlepage"><div><div><h2 class="title" style="clear: both"><a id="authoring"></a>Authoring</h2></div></div></div><div class="sect2" lang="en" xml:lang="en"><div class="titlepage"><div><div><h3 class="title"><a id="developments"></a>How to use developments</h3></div></div></div><p>
      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
      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 @@
    </p><p>
      The "Developments..." item the File menu (or pressing
      Ctrl+D) opens the Developments window.
    </p><p>
      The "Developments..." item the File menu (or pressing
      Ctrl+D) opens the Developments window.
-   </p><div class="figure"><a id="id2520494"></a><p class="title"><b>Figure 3.1. The Developments window</b></p><div class="mediaobject" align="center"><img src="developments.png" align="middle" alt="Screenshot of the Developments window." /></div></div><p> 
+   </p><div class="figure"><a id="id2521185"></a><p class="title"><b>Figure 3.1. The Developments window</b></p><div class="mediaobject" align="center"><img src="developments.png" align="middle" alt="Screenshot of the Developments window." /></div></div><p> 
     </p><div class="variablelist"><p class="title"><b>Developments window buttons</b></p><dl><dt><span class="term"><code class="filename">New</code></span></dt><dd><p>
     </p><div class="variablelist"><p class="title"><b>Developments window buttons</b></p><dl><dt><span class="term"><code class="filename">New</code></span></dt><dd><p>
-            To create a new Development the user needs to specify a name<sup>[<a id="id2520538" href="#ftn.id2520538">1</a>]</sup>
+            To create a new Development the user needs to specify a name<sup>[<a id="id2521230" href="#ftn.id2521230">1</a>]</sup>
             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"
             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 @@
           </p></dd><dt><span class="term"><code class="filename">Close</code></span></dt><dd><p>
             Closes the Developments window
           </p></dd></dl></div><p>
           </p></dd><dt><span class="term"><code class="filename">Close</code></span></dt><dd><p>
             Closes the Developments window
           </p></dd></dl></div><p>
-    </p></div><div class="footnotes"><br /><hr width="100" align="left" /><div class="footnote"><p><sup>[<a id="ftn.id2520538" href="#id2520538">1</a>] </sup>
+    </p></div><div class="footnotes"><br /><hr width="100" align="left" /><div class="footnote"><p><sup>[<a id="ftn.id2521230" href="#id2521230">1</a>] </sup>
                 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
                 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
Unnamed repository; edit this file 'description' to name the repository.