matita/help/C/matita.xml

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