]> matita.cs.unibo.it Git - helm.git/blob - helm/software/matita/help/C/matita.xml
better way of generating multiple pages XHTML output
[helm.git] / helm / software / matita / help / C / matita.xml
1 <?xml version="1.0"?>
2 <!DOCTYPE book PUBLIC "-//OASIS//DTD DocBook XML V4.1.2//EN" 
3 "http://www.oasis-open.org/docbook/xml/4.1.2/docbookx.dtd" [
4
5   <!ENTITY license SYSTEM "legal.xml">
6   <!ENTITY install SYSTEM "sec_install.xml">
7   <!ENTITY intro SYSTEM "sec_intro.xml">
8   <!ENTITY terms SYSTEM "sec_terms.xml">
9   <!ENTITY tactics SYSTEM "sec_tactics.xml">
10
11   <!ENTITY manrevision "0">
12   <!ENTITY date "February 2006">
13   <!ENTITY app "<application>Matita</application>">
14   <!ENTITY appname "Matita">
15   <!ENTITY appversion SYSTEM "version.txt">
16
17   <!ENTITY TODO "<emphasis>TODO</emphasis>">
18   <!ENTITY MYSQL "<application> <ulink type='http'
19       url='http://www.mysql.com'>MySQL</ulink> </application>">
20 ]>
21
22 <?yelp:chunk-depth 3?>
23
24 <book id="matita_manual" lang="en">
25 <!-- please do not change the id; for translations, change lang to -->
26 <!-- appropriate code -->
27 <title>&app; V&appversion; Manual (rev. &manrevision;)</title>
28 <bookinfo>
29
30  <copyright>
31   <year>2006</year>
32   <holder>The HELM team.</holder>
33  </copyright>
34 <!-- translators: uncomment this:
35
36   <copyright>
37    <year>2002</year>
38    <holder>ME-THE-TRANSLATOR (Latin translation)</holder>
39   </copyright>
40
41    -->
42 <!-- An address can be added to the publisher information.  If a role is 
43      not specified, the publisher/author is the same for all versions of the 
44      document.  -->
45 <!-- CSC:
46     <publisher> 
47       <publishername> GNOME Documentation Project </publishername> 
48     </publisher> 
49 -->
50
51     <authorgroup> 
52       <author> 
53         <firstname>Andrea</firstname> 
54         <surname>Asperti</surname> 
55         <affiliation> 
56           <address> <email>asperti@cs.unibo.it</email> </address> 
57         </affiliation> 
58       </author> 
59       <author> 
60         <firstname>Claudio</firstname> 
61         <surname>Sacerdoti Coen</surname> 
62         <affiliation> 
63           <address> <email>sacerdot@cs.unibo.it</email> </address> 
64         </affiliation> 
65       </author> 
66       <author> 
67         <firstname>Enrico</firstname> 
68         <surname>Tassi</surname> 
69         <affiliation> 
70           <address> <email>tassi@cs.unibo.it</email> </address> 
71         </affiliation> 
72       </author> 
73       <author> 
74         <firstname>Stefano</firstname> 
75         <surname>Zacchiroli</surname> 
76         <affiliation> 
77           <address> <email>zacchiro@cs.unibo.it</email> </address> 
78         </affiliation> 
79       </author> 
80 <!-- This is appropriate place for other contributors: translators,
81       maintainers,  etc. Commented out by default.
82        <othercredit role="translator">
83         <firstname>Latin</firstname> 
84         <surname>Translator 1</surname> 
85         <affiliation> 
86           <orgname>Latin Translation Team</orgname> 
87           <address> <email>translator@gnome.org</email> </address> 
88         </affiliation>
89         <contrib>Latin translation</contrib>
90       </othercredit>
91 -->
92     </authorgroup>
93     
94 <revhistory>
95       <revision> 
96         <revnumber>&appname; V&appversion; Manual (rev. &manrevision;)</revnumber> 
97         <date>&date;</date> 
98         <revdescription> 
99           <para role="author">The HELM team
100 <!--
101             <email>baudais@okstate.edu</email>
102 -->
103           </para>
104 <!--
105           <para role="publisher">GNOME Documentation Project</para>
106 -->
107         </revdescription> 
108       </revision>
109   <revision>
110    <revnumber>&manrevision;</revnumber>
111    <date>4 February 2006</date>
112    <authorinitials>HELM</authorinitials>
113    <revremark>
114    First draft completed.
115    </revremark>
116   </revision>
117
118  </revhistory>
119
120     <releaseinfo>This manual describes version &appversion; of &appname;.
121     </releaseinfo>
122
123     <legalnotice>
124       &license;
125     </legalnotice>
126
127     <!-- The following feedback information only applies to appliactions
128     listed in bugzilla.gnome.org and bugzilla.ximian.com. For other
129     applications, please provide your own feedback info or remove thsi
130     section altogether -->
131     <legalnotice> 
132       <title>Feedback</title> 
133       <para>To report a bug or make a suggestion regarding the &app;
134         application or this manual, follow the directions in the
135         <ulink url="http://bugs.mowgli.cs.unibo.it" type="http">HELM Bug
136           Tracking System Page</ulink>. 
137       </para>
138 <!-- Translators may also add here feedback address for translations -->
139     </legalnotice>
140
141 </bookinfo>
142
143 <!-- ============= Document Body ============================= -->
144
145 &intro;
146 &install;
147 &terms;
148 &tactics;
149
150  <!-- ============= Application License ============================= -->
151
152  <chapter id="sec_license">
153   <title>License</title>
154   &license;
155  </chapter>
156 </book>
157
158 <!-- CSC: valid element tags
159 <sect1 id="intro"> <title>Introduction</title> ...
160 <sect2 id="what"> <title>What is Matita?</title>
161 <para>
162 <note> <title>Note:</title> <para> ...
163 <footnote> <para> ...
164 <itemizedlist mark="opencircle">
165     <listitem>
166      <para>
167         The computer player for Iagno is easy to beat.
168      </para>
169     </listitem>
170  </itemizedlist>
171
172 <ulink type="http" url="http://www.gnome.org/gdp">
173 <email>itp@gnu.org</email>
174 <application>Matita</application>
175 <command>iagno</command> on the command line
176 <citetitle>Othello</citetitle>
177
178 <guimenuitem>Iagno</guimenuitem>
179 <guisubmenu>Games</guisubmenu>
180 <guibutton>none</guibutton>
181 <menuchoice> <guimenu>Settings</guimenu> <guisubmenu>Preferences </guisubmenu> </menuchoice>
182
183 <xref linkend="start-shot"/>. 
184 <figure id="start-shot">
185  <title>Starting Position</title>
186  <screenshot>
187    <mediaobject> 
188    <imageobject>
189  <imagedata fileref="figures/START.png" format="PNG" srccredit="Eric Baudais"/>
190   </imageobject>
191    <textobject> 
192      <phrase>Screenshot of the starting position.</phrase> 
193    </textobject> 
194  </mediaobject>
195  </screenshot>
196 </figure>
197
198 -->