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