doc/manual/en/html/node110.html
author etisserant
Fri, 08 Jun 2007 11:50:51 +0200
changeset 216 8ae2ae25b096
parent 215 f49e5a6b7804
permissions -rw-r--r--
fix dox
210
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
     1
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
     2
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
     3
<!--Converted with LaTeX2HTML 2002-2-1 (1.71)
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
     4
original version by:  Nikos Drakos, CBLU, University of Leeds
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
     5
* revised and updated by:  Marcus Hennecke, Ross Moore, Herb Swan
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
     6
* with significant contributions from:
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
     7
  Jens Lippmann, Marek Rouchal, Martin Wilck and others -->
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
     8
<HTML>
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
     9
<HEAD>
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    10
<TITLE>About this document ...</TITLE>
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    11
<META NAME="description" CONTENT="About this document ...">
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    12
<META NAME="keywords" CONTENT="manual">
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    13
<META NAME="resource-type" CONTENT="document">
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    14
<META NAME="distribution" CONTENT="global">
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    15
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    16
<META NAME="Generator" CONTENT="LaTeX2HTML v2002-2-1">
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    17
<META HTTP-EQUIV="Content-Style-Type" CONTENT="text/css">
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    18
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    19
<LINK REL="STYLESHEET" HREF="manual.css">
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    20
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    21
<LINK REL="previous" HREF="node105.html">
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    22
<LINK REL="up" HREF="manual.html">
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    23
</HEAD>
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    24
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    25
<BODY >
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    26
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    27
<DIV CLASS="navigation"><!--Navigation Panel-->
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    28
<IMG WIDTH="37" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="next"
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    29
 SRC="/usr/share/latex2html/icons/next_g.png"> 
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    30
<A NAME="tex2html1578"
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    31
  HREF="manual.html">
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    32
<IMG WIDTH="26" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="up"
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    33
 SRC="/usr/share/latex2html/icons/up.png"></A> 
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    34
<A NAME="tex2html1574"
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    35
  HREF="node109.html">
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    36
<IMG WIDTH="63" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="previous"
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    37
 SRC="/usr/share/latex2html/icons/prev.png"></A> 
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    38
<A NAME="tex2html1580"
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    39
  HREF="node1.html">
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    40
<IMG WIDTH="65" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="contents"
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    41
 SRC="/usr/share/latex2html/icons/contents.png"></A>  
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    42
<BR>
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    43
<B> Up:</B> <A NAME="tex2html1579"
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    44
  HREF="manual.html">Documentation</A>
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    45
<B> Previous:</B> <A NAME="tex2html1575"
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    46
  HREF="node109.html">License</A>
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    47
 &nbsp; <B>  <A NAME="tex2html1581"
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    48
  HREF="node1.html">Contents</A></B> 
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    49
<BR>
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    50
<BR></DIV>
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    51
<!--End of Navigation Panel-->
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    52
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    53
<H1><A NAME="SECTION000140000000000000000">
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    54
About this document ...</A>
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    55
</H1>
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    56
 <STRONG><BIG CLASS="XHUGE">Documentation</BIG></STRONG><P>
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    57
This document was generated using the
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    58
<A HREF="http://www.latex2html.org/"><STRONG>LaTeX</STRONG>2<tt>HTML</tt></A> translator Version 2002-2-1 (1.71)
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    59
<P>
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    60
Copyright &#169; 1993, 1994, 1995, 1996,
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    61
Nikos Drakos, 
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    62
Computer Based Learning Unit, University of Leeds.
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    63
<BR>
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    64
Copyright &#169; 1997, 1998, 1999,
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    65
<A HREF="http://www.maths.mq.edu.au/~ross/">Ross Moore</A>, 
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    66
Mathematics Department, Macquarie University, Sydney.
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    67
<P>
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    68
The command line arguments were: <BR>
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    69
 <STRONG>latex2html</STRONG> <TT>-dir html manual.tex</TT>
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    70
<P>
215
f49e5a6b7804 Manual and Documentation finish
nico
parents: 211
diff changeset
    71
The translation was initiated by epimerde on 2007-06-08
210
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    72
<BR><HR>
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    73
<ADDRESS>
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    74
epimerde
215
f49e5a6b7804 Manual and Documentation finish
nico
parents: 211
diff changeset
    75
2007-06-08
210
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    76
</ADDRESS>
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    77
</BODY>
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    78
</HTML>