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