2
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
3
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
5
<html xmlns="http://www.w3.org/1999/xhtml">
7
<meta name="generator" content=
8
"HTML Tidy for Linux (vers 25 March 2009), see www.w3.org" />
11
<meta http-equiv="Content-Type" content=
12
"text/html; charset=utf-8" />
13
<meta name="generator" content=
14
"TeX4ht (http://www.cse.ohio-state.edu/~gurari/TeX4ht/)" />
15
<meta name="originator" content=
16
"TeX4ht (http://www.cse.ohio-state.edu/~gurari/TeX4ht/)" />
17
<!-- info,2,imgdir:images/,sec-filename,next,index=2,url-enc,html -->
18
<meta name="src" content="index.tex" />
19
<meta name="date" content="2011-03-20 12:48:00" />
20
<link rel="stylesheet" type="text/css" href="index.css" />
26
<p class="noindent"></p>
29
<div class="footnote-text">
30
<span class="footnote-mark"><a id="fn3x3" name=
31
"fn3x3"></a></span><span class="ec-lmr-10">Version at the time of
32
writing this manual.</span>
35
<p class="indent"></p>