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   <!ENTITY TODO "<emphasis>TODO</emphasis>">
  18 ]>
  19
  20 <!-- =============Document Header ============================= -->
  21 <article id="index" lang="en">
  22 <!-- please do not change the id; for translations, change lang to -->
  23 <!-- appropriate code -->
  24 <articleinfo>
  25  <title>&app; V&appversion; Manual (rev. &manrevision;)</title>
  26
  27  <copyright>
  28   <year>2006</year>
  29   <holder>The HELM team.</holder>
  30  </copyright>
  31 <!-- translators: uncomment this:
  32
  33   <copyright>
  34    <year>2002</year>
  35    <holder>ME-THE-TRANSLATOR (Latin translation)</holder>
  36   </copyright>
  37
  38    -->
  39 <!-- An address can be added to the publisher information.  If a role is
  40      not specified, the publisher/author is the same for all versions of the
  41      document.  -->
  42 <!-- CSC:
  43     <publisher>
  44       <publishername> GNOME Documentation Project </publishername>
  45     </publisher>
  46 -->
  47
  48     <legalnotice>
  49       &license;
  50     </legalnotice>
  51
  52     <authorgroup>
  53       <author>
  54         <firstname>Andrea</firstname>
  55         <surname>Asperti</surname>
  56         <affiliation>
  57           <address> <email>asperti@cs.unibo.it</email> </address>
  58         </affiliation>
  59       </author>
  60       <author>
  61         <firstname>Claudio</firstname>
  62         <surname>Sacerdoti Coen</surname>
  63         <affiliation>
  64           <address> <email>sacerdot@cs.unibo.it</email> </address>
  65         </affiliation>
  66       </author>
  67       <author>
  68         <firstname>Enrico</firstname>
  69         <surname>Tassi</surname>
  70         <affiliation>
  71           <address> <email>tassi@cs.unibo.it</email> </address>
  72         </affiliation>
  73       </author>
  74       <author>
  75         <firstname>Stefano</firstname>
  76         <surname>Zacchiroli</surname>
  77         <affiliation>
  78           <address> <email>zacchiro@cs.unibo.it</email> </address>
  79         </affiliation>
  80       </author>
  81 <!-- This is appropriate place for other contributors: translators,
  82       maintainers,  etc. Commented out by default.
  83        <othercredit role="translator">
  84         <firstname>Latin</firstname>
  85         <surname>Translator 1</surname>
  86         <affiliation>
  87           <orgname>Latin Translation Team</orgname>
  88           <address> <email>translator@gnome.org</email> </address>
  89         </affiliation>
  90         <contrib>Latin translation</contrib>
  91       </othercredit>
  92 -->
  93     </authorgroup>
  94
  95 <revhistory>
  96       <revision>
  97         <revnumber>&appname; V&appversion; Manual (rev. &manrevision;)</revnumber>
  98         <date>&date;</date>
  99         <revdescription>
 100           <para role="author">The HELM team
 101 <!--
 102             <email>baudais@okstate.edu</email>
 103 -->
 104           </para>
 105 <!--
 106           <para role="publisher">GNOME Documentation Project</para>
 107 -->
 108         </revdescription>
 109       </revision>
 110   <revision>
 111    <revnumber>0.0</revnumber>
 112    <date>4 February 2006</date>
 113    <authorinitials>HELM</authorinitials>
 114    <revremark>
 115    First draft completed.
 116    </revremark>
 117   </revision>
 118
 119  </revhistory>
 120
 121     <releaseinfo>This manual describes version &appversion; of &appname;.
 122     </releaseinfo>
 123     <!-- The following feedback information only applies to appliactions
 124     listed in bugzilla.gnome.org and bugzilla.ximian.com. For other
 125     applications, please provide your own feedback info or remove thsi
 126     section altogether -->
 127     <legalnotice>
 128       <title>Feedback</title>
 129       <para>To report a bug or make a suggestion regarding the &app;
 130         application or this manual, follow the directions in the
 131         <ulink url="http://bugs.mowgli.cs.unibo.it" type="http">HELM Bug
 132           Tracking System Page</ulink>.
 133       </para>
 134 <!-- Translators may also add here feedback address for translations -->
 135     </legalnotice>
 136
 137 </articleinfo>
 138
 139   <indexterm zone="index">
 140     <primary>Matita</primary>
 141   </indexterm>
 142
 143 <!-- ============= Document Body ============================= -->
 144
 145 &intro;
 146 &install;
 147 &terms;
 148 &tactics;
 149
 150  <!-- ============= Application License ============================= -->
 151
 152  <sect1 id="sec_license">
 153   <title>License</title>
 154   &license;
 155  </sect1>
 156 </article>
 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 -->