diff -r 2cb34a4ac65a -r 6b5a4c21e061 doc/manual/en/html/node110.html --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/doc/manual/en/html/node110.html Tue Jun 05 18:43:21 2007 +0200 @@ -0,0 +1,78 @@ + + + + +
++This document was generated using the +LaTeX2HTML translator Version 2002-2-1 (1.71) +
+Copyright © 1993, 1994, 1995, 1996,
+Nikos Drakos,
+Computer Based Learning Unit, University of Leeds.
+
+Copyright © 1997, 1998, 1999,
+Ross Moore,
+Mathematics Department, Macquarie University, Sydney.
+
+The command line arguments were:
+ latex2html -dir html manual.tex
+
+The translation was initiated by epimerde on 2007-06-05
+