<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"> <!--Converted with LaTeX2HTML 2002-2-1 (1.71) original version by: Nikos Drakos, CBLU, University of Leeds * revised and updated by: Marcus Hennecke, Ross Moore, Herb Swan * with significant contributions from: Jens Lippmann, Marek Rouchal, Martin Wilck and others --> <HTML> <HEAD> <TITLE>About this document ...</TITLE> <META NAME="description" CONTENT="About this document ..."> <META NAME="keywords" CONTENT="manual"> <META NAME="resource-type" CONTENT="document"> <META NAME="distribution" CONTENT="global"> <META NAME="Generator" CONTENT="LaTeX2HTML v2002-2-1"> <META HTTP-EQUIV="Content-Style-Type" CONTENT="text/css"> <LINK REL="STYLESHEET" HREF="manual.css"> <LINK REL="previous" HREF="node34.html"> <LINK REL="up" HREF="manual.html"> </HEAD> <BODY > <DIV CLASS="navigation"><!--Navigation Panel--> <IMG WIDTH="37" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="next" SRC="next_g.png"> <A NAME="tex2html407" HREF="manual.html"> <IMG WIDTH="26" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="up" SRC="up.png"></A> <A NAME="tex2html403" HREF="node34.html"> <IMG WIDTH="63" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="previous" SRC="prev.png"></A> <BR> <B> Up:</B> <A NAME="tex2html408" HREF="manual.html">Xlog manual</A> <B> Previous:</B> <A NAME="tex2html404" HREF="node34.html">Authors</A> <BR> <BR></DIV> <!--End of Navigation Panel--> <H1><A NAME="SECTION000190000000000000000"> About this document ...</A> </H1> <STRONG>Xlog manual</STRONG><P> This document was generated using the <A HREF="http://www.latex2html.org/"><STRONG>LaTeX</STRONG>2<tt>HTML</tt></A> translator Version 2002-2-1 (1.71) <P> Copyright © 1993, 1994, 1995, 1996, Nikos Drakos, Computer Based Learning Unit, University of Leeds. <BR> Copyright © 1997, 1998, 1999, <A HREF="http://www.maths.mq.edu.au/~ross/">Ross Moore</A>, Mathematics Department, Macquarie University, Sydney. <P> The command line arguments were: <BR> <STRONG>latex2html</STRONG> <TT>-local_icons manual.tex</TT> <P> The translation was initiated by Joop Stakenborg on 2009-01-14 <BR><HR> <ADDRESS> Joop Stakenborg 2009-01-14 </ADDRESS> </BODY> </HTML>