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