Commit cb86f848 authored by Ralf Treinen's avatar Ralf Treinen

Imported Upstream version 2.00

parent 3725000b
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"
"http://www.w3.org/TR/REC-html40/loose.dtd">
<HTML>
<HEAD>
<META http-equiv="Content-Type" content="text/html; charset=US-ASCII">
<META name="GENERATOR" content="hevea 1.10">
<META name="Author" content="Luc Maranget">
<LINK rel="stylesheet" type="text/css" href="manual.css">
<TITLE>Browser configuration</TITLE>
</HEAD>
<BODY >
<A HREF="manual041.html"><IMG SRC="previous_motif.gif" ALT="Previous"></A>
<A HREF="manual040.html"><IMG SRC="contents_motif.gif" ALT="Up"></A>
<A HREF="manual043.html"><IMG SRC="next_motif.gif" ALT="Next"></A>
<HR>
<H2 CLASS="section"><A NAME="htoc157">C.2</A>&#XA0;&#XA0;Browser <A NAME="browser"></A>configuration</H2><P>
<A NAME="@default249"></A><A NAME="@default250"></A>By default, H<FONT SIZE=2><sup>E</sup></FONT>V<FONT SIZE=2><sup>E</sup></FONT>A does not anymore use the <CODE>FACE=symbol</CODE>
attribute to the <CODE>&lt;FONT ...&gt;</CODE> tag. As a consequence, browser
configuration is no longer needed.</P><P>H<FONT SIZE=2><sup>E</sup></FONT>V<FONT SIZE=2><sup>E</sup></FONT>A now extensively outputs Unicode entities.
This first means that H<FONT SIZE=2><sup>E</sup></FONT>V<FONT SIZE=2><sup>E</sup></FONT>A targets modern browsers with
decent unicode support, and only those.</P><P>In case your browser is recent and that you nevertheless experience display
problems on H<FONT SIZE=2><sup>E</sup></FONT>V<FONT SIZE=2><sup>E</sup></FONT>A-generated pages, see the excellent
<A HREF="http://www.alanwood.net/unicode/">Alan Wood&#X2019;s Unicode Resources</A>.
<!DOCTYPE html>
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
<meta name="generator" content="hevea 2.00">
<META name="Author" content="Luc Maranget"><link rel="stylesheet" type="text/css" href="manual.css">
<title>Browser configuration</title>
</head>
<body>
<a href="manual041.html"><img src="previous_motif.gif" alt="Previous"></a>
<a href="manual040.html"><img src="contents_motif.gif" alt="Up"></a>
<a href="manual043.html"><img src="next_motif.gif" alt="Next"></a>
<hr>
<h2 class="section" id="sec226">C.2&#XA0;&#XA0;Browser configuration</h2>
<p>
<a id="hevea_default253"></a><a id="hevea_default254"></a>By default, H<span class="c014"><sup>E</sup></span>V<span class="c014"><sup>E</sup></span>A does not anymore use the <code>FACE=symbol</code>
attribute to the <code>&lt;FONT ...&gt;</code> tag. As a consequence, browser
configuration is no longer needed.</p><p>H<span class="c014"><sup>E</sup></span>V<span class="c014"><sup>E</sup></span>A now extensively outputs Unicode entities.
This first means that H<span class="c014"><sup>E</sup></span>V<span class="c014"><sup>E</sup></span>A targets modern browsers with
decent unicode support, and only those.</p><p>In case your browser is recent and that you nevertheless experience display
problems on H<span class="c014"><sup>E</sup></span>V<span class="c014"><sup>E</sup></span>A-generated pages, see the excellent
<a href="http://www.alanwood.net/unicode/">Alan Wood&#X2019;s Unicode Resources</a>.
It may help to understand display problems and even to solve them
by configuring browsers or installing some fonts.</P><HR>
<A HREF="manual041.html"><IMG SRC="previous_motif.gif" ALT="Previous"></A>
<A HREF="manual040.html"><IMG SRC="contents_motif.gif" ALT="Up"></A>
<A HREF="manual043.html"><IMG SRC="next_motif.gif" ALT="Next"></A>
</BODY>
</HTML>
by configuring browsers or installing some fonts.</p>
<hr>
<a href="manual041.html"><img src="previous_motif.gif" alt="Previous"></a>
<a href="manual040.html"><img src="contents_motif.gif" alt="Up"></a>
<a href="manual043.html"><img src="next_motif.gif" alt="Next"></a>
</body>
</html>
This diff is collapsed.
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"
"http://www.w3.org/TR/REC-html40/loose.dtd">
<HTML>
<HEAD>
<TITLE>HEVEA User Documentation
Version&#XA0;1.10
</TITLE>
<META http-equiv="Content-Type" content="text/html; charset=US-ASCII">
<META name="GENERATOR" content="hevea 1.10">
<!DOCTYPE html>
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
<meta name="generator" content="hevea 2.00">
<META name="Author" content="Luc Maranget">
<LINK rel="stylesheet" type="text/css" href="manual.css">
</HEAD>
<BODY >
<title>HEVEA User Documentation
Version&#XA0;2.00
</title>
<link rel="stylesheet" type="text/css" href="manual.css">
</head>
<body>
<!--HEVEA command line is: ../hevea.opt -fix -exec xxdate.exe -O -o doc/manual.html manual.hva manual.tex -->
<!--HACHA command line is: ../hacha.opt -tocbis -o doc/index.html doc/manual.html -->
<TABLE CLASS="title"><TR><TD><H1 CLASS="titlemain">H<FONT SIZE=2><sup>E</sup></FONT>V<FONT SIZE=2><sup>E</sup></FONT>A User Documentation<BR>
Version&#XA0;1.10</H1><H3 CLASS="titlerest">Luc Maranget<SUP><A NAME="text1" HREF="#note1">*</A></SUP></H3><H3 CLASS="titlerest">August&#XA0;21, 2007</H3></TD></TR>
</TABLE><HR><P>
<table class="title"><tr><td><h1 class="titlemain">H<span class="c014"><sup>E</sup></span>V<span class="c014"><sup>E</sup></span>A User Documentation<br>
Version&#XA0;2.00</h1><h3 class="titlerest">Luc Maranget<sup><a id="text1" href="#note1">*</a></sup></h3><h3 class="titlerest">September&#XA0;3, 2012</h3></td></tr>
</table><hr><p>
This manual also exists in
<A HREF="ftp://ftp.inria.fr/INRIA/moscova/hevea/hevea-1.10-manual.ps.gz">compressed Postscript</A>,
<A HREF="ftp://ftp.inria.fr/INRIA/moscova/hevea/hevea-1.10-manual.pdf">PDF</A>, and as
a <A HREF="ftp://ftp.inria.fr/INRIA/moscova/hevea/hevea-1.10-manual.tar.gz">bundle of HTML files</A>.
</P><HR><BLOCKQUOTE CLASS="abstract"><B>Abstract: </B>
H<FONT SIZE=2><sup>E</sup></FONT>V<FONT SIZE=2><sup>E</sup></FONT>A is a L<sup>A</sup>T<sub>E</sub>X to
HTML translator.
<a href="http://hevea.inria.fr/distri/hevea-2.00-manual.ps.gz">compressed Postscript</a>,
<a href="http://hevea.inria.fr/distri/hevea-2.00-manual.pdf">PDF</a>, and as
a <a href="http://hevea.inria.fr/distri/hevea-2.00-manual.tar.gz">bundle of HTML files</a>.
</p><hr><blockquote class="abstract"><span class="c021">Abstract: </span>
H<span class="c014"><sup>E</sup></span>V<span class="c014"><sup>E</sup></span>A is a L<sup>A</sup>T<sub>E</sub>X to
html translator.
The input language is a fairly complete subset of L<sup>A</sup>T<sub>E</sub>X&#XA0;2&#X454; (old
L<sup>A</sup>T<sub>E</sub>X style is also accepted) and the
output language is HTML that is (hopefully) correct with respect to
version 4.0 transitional.<P>Recent versions of most browsers offer support for Unicode (ISO&#XA0;10646)
characters, albeit to different extents. H<FONT SIZE=2><sup>E</sup></FONT>V<FONT SIZE=2><sup>E</sup></FONT>A exploits this fact
to translate various math symbols used in L<sup>A</sup>T<sub>E</sub>X. As a result, almost
the entire set of math symbols, including the <TT>amssymb</TT> ones, are
correctly rendered. The use of the symbol font browsers is no longer
the default.</P><P>H<FONT SIZE=2><sup>E</sup></FONT>V<FONT SIZE=2><sup>E</sup></FONT>A understands L<sup>A</sup>T<sub>E</sub>X macro definitions. Simple user style
output language is html that is (hopefully) correct with respect to
version 5 [<a href="manual047.html#html">HTML-5a</a>, <a href="manual047.html#htmlb">HTML-5b</a>] <p>H<span class="c014"><sup>E</sup></span>V<span class="c014"><sup>E</sup></span>A understands L<sup>A</sup>T<sub>E</sub>X macro definitions. Simple user style
files are understood with little or no modifications.
Furthermore, H<FONT SIZE=2><sup>E</sup></FONT>V<FONT SIZE=2><sup>E</sup></FONT>A customization is done by writing L<sup>A</sup>T<sub>E</sub>X code.</P><P>H<FONT SIZE=2><sup>E</sup></FONT>V<FONT SIZE=2><sup>E</sup></FONT>A is written in Objective Caml, as many lexers. It is
quite fast and flexible. Using H<FONT SIZE=2><sup>E</sup></FONT>V<FONT SIZE=2><sup>E</sup></FONT>A it is possible to translate
Furthermore, H<span class="c014"><sup>E</sup></span>V<span class="c014"><sup>E</sup></span>A customization is done by writing L<sup>A</sup>T<sub>E</sub>X code.</p><p>H<span class="c014"><sup>E</sup></span>V<span class="c014"><sup>E</sup></span>A is written in Objective Caml, as many lexers. It is
quite fast and flexible. Using H<span class="c014"><sup>E</sup></span>V<span class="c014"><sup>E</sup></span>A it is possible to translate
large documents such as manuals, books, etc. very quickly. All
documents are translated as one single HTML file. Then, the output
file can be cut into smaller files, using the companion program&#XA0;H<FONT SIZE=2><sup>A</sup></FONT>C<FONT SIZE=2><sup>H</sup></FONT>A.</P><P>H<FONT SIZE=2><sup>E</sup></FONT>V<FONT SIZE=2><sup>E</sup></FONT>A can also be instructed to output plain text or info files.</P><P>Information on H<FONT SIZE=2><sup>E</sup></FONT>V<FONT SIZE=2><sup>E</sup></FONT>A is available at <TT><A HREF="http://hevea.inria.fr/">http://hevea.inria.fr/</A></TT>.
</P></BLOCKQUOTE><UL>
<LI><A HREF="manual001.html">Contents</A>
</LI></UL>
<P>
documents are translated as one single html file. Then, the output
file can be cut into smaller files, using the companion program&#XA0;H<span class="c014"><sup>A</sup></span>C<span class="c014"><sup>H</sup></span>A.</p><p>H<span class="c014"><sup>E</sup></span>V<span class="c014"><sup>E</sup></span>A can also be instructed to output plain text or info files.</p><p>Information on H<span class="c014"><sup>E</sup></span>V<span class="c014"><sup>E</sup></span>A is available at <a href="http://hevea.inria.fr/"><span class="c012">http://hevea.inria.fr/</span></a>.
</p></blockquote><ul>
<li><a href="manual001.html">Contents</a>
</li></ul>
<p>
This document consists in three parts, a tutorial introduction, a
reference manual and some practical information. The latter part
includes a small <A HREF="manual048.html#@index">index</A>.
</P><UL>
<LI><A HREF="manual002.html">Tutorial</A>
</LI><LI><A HREF="manual022.html">Reference manual</A>
</LI><LI><A HREF="manual040.html">Practical information</A>
</LI></UL>
<HR CLASS="ffootnoterule"><DL CLASS="thefootnotes"><DT CLASS="dt-thefootnotes">
<A NAME="note1" HREF="#text1">*</A></DT><DD CLASS="dd-thefootnotes">Inria Rocquencourt &#X2013; BP 105, 78153 Le
Chesnay Cedex. <TT><A HREF="mailto:Luc.Maranget@inria.fr">Luc.Maranget@inria.fr</A></TT>
</DD></DL>
includes a small <a href="manual048.html#%40index">index</a>.
</p><ul>
<li><a href="manual002.html">Tutorial</a>
</li><li><a href="manual022.html">Reference manual</a>
</li><li><a href="manual040.html">Practical information</a>
</li></ul>
<hr class="ffootnoterule"><dl class="thefootnotes"><dt class="dt-thefootnotes">
<a id="note1" href="#text1">*</a></dt><dd class="dd-thefootnotes"><div class="footnotetext">Inria Rocquencourt &#X2013; BP 105, 78153 Le
Chesnay Cedex. <a href="mailto:Luc.Maranget@inria.fr"><span class="c012">Luc.Maranget@inria.fr</span></a></div>
</dd></dl>
<!--FOOTER-->
<HR SIZE=2><BLOCKQUOTE CLASS="quote"><EM>This document was translated from L<sup>A</sup>T<sub>E</sub>X by
<A HREF="http://hevea.inria.fr/index.html">H<FONT SIZE=2><sup>E</sup></FONT>V<FONT SIZE=2><sup>E</sup></FONT>A</A>.</EM></BLOCKQUOTE></BODY>
</HTML>
<hr style="height:2"><blockquote class="quote"><em>This document was translated from L<sup>A</sup>T<sub>E</sub>X by
</em><a href="http://hevea.inria.fr/index.html"><em>H<span class="c014"><sup>E</sup></span>V<span class="c014"><sup>E</sup></span>A</em></a><em>.</em></blockquote></body>
</html>
This source diff could not be displayed because it is too large. You can view the blob instead.
.c000{background-color:green;height:3px}
.c001{border-spacing:0;}
.c002{border-spacing:6px;border-collapse:separate;}
.c003{border:0;border-spacing:1;border-collapse:separate;}
.c004{border:0;border-spacing:1px;border-collapse:separate}
.c005{border:1px solid black;}
.c006{color:#B7140B}
.c007{color:fuchsia}
.c008{color:maroon}
.c009{color:purple}
.c010{color:yellow}
.c011{font-family:Helvetica}
.c012{font-family:monospace}
.c013{font-family:monospace;font-weight:bold}
.c014{font-size:small}
.c015{font-size:x-large}
.c016{font-size:xx-large}
.c017{font-style:italic}
.c018{font-style:oblique}
.c019{font-variant:small-caps}
.c020{font-variant:small-caps;font-size:small}
.c021{font-weight:bold}
.c022{font-weight:bold;color:blue}
.c023{font-weight:bold;color:red}
.c024{height:4em; margin:0ex 2px;}
.c025{height:4em; margin:0ex 4px;}
.c026{text-align:center}
.c027{text-align:center;border:solid 1px;white-space:nowrap}
.c028{text-align:center;white-space:nowrap}
.c029{text-align:left}
.c030{text-align:left;border:solid 1px;white-space:nowrap}
.c031{text-align:left;white-space:nowrap}
.c032{text-align:right;white-space:nowrap}
.c033{vertical-align:bottom}
.c034{vertical-align:middle}
.c035{vertical-align:middle;text-align:left;}
.c036{vertical-align:top}
.c037{vertical-align:top;text-align:center;border:solid 1px;white-space:nowrap}
.c038{vertical-align:top;text-align:left;}
.c039{vertical-align:top;text-align:left;border:solid 1px;}
.c040{vertical-align:top;text-align:left;white-space:nowrap}
.c041{whitespace:nowrap;text-align:center}
.c042{whitespace:nowrap;text-align:left}
.c043{width:10%;text-align:center}
.c044{width:100%;}
.c045{width:40%;text-align:center}
.c046{width:5%;text-align:center}
.c047{width:6px;}
.c048{width:80%;height:2}
.c049{width:90%;text-align:center}
.li-itemize{margin:1ex 0ex;}
.li-enumerate{margin:1ex 0ex;}
.dd-description{margin:0ex 0ex 1ex 4ex;}
.dt-description{margin:0ex;}
.footnotetext{margin:0ex; padding 0ex;}
div.footnotetext P{margin:0px; text-indent:1em;}
.thefootnotes{text-align:left;margin:0ex;}
.dt-thefootnotes{margin:0em;}
.dd-thefootnotes{margin:0em 0em 0em 2em;}
......@@ -11,16 +62,21 @@
.center{text-align:center;margin-left:auto;margin-right:auto;}
.flushleft{text-align:left;margin-left:0ex;margin-right:auto;}
.flushright{text-align:right;margin-left:auto;margin-right:0ex;}
DIV TABLE{margin-left:inherit;margin-right:inherit;}
PRE{text-align:left;margin-left:0ex;margin-right:auto;}
BLOCKQUOTE{margin-left:4ex;margin-right:4ex;text-align:left;}
TD P{margin:0px;}
div table{margin-left:inherit;margin-right:inherit;margin-bottom:2px;margin-top:2px}
td table{margin:auto;}
table{border-collapse:collapse;}
td{padding:0;}
.cellpadding0 tr td{padding:0;}
.cellpadding1 tr td{padding:1px;}
pre{text-align:left;margin-left:0ex;margin-right:auto;}
blockquote{margin-left:4ex;margin-right:4ex;text-align:left;}
td p{margin:0px;}
.boxed{border:1px solid black}
.textboxed{border:1px solid black}
.vbar{border:none;width:2px;background-color:black;}
.hbar{border:none;height:2px;width:100%;background-color:black;}
.display{border-collapse:separate;border-spacing:2px;width:auto; border:none;}
.dcell{white-space:nowrap;padding:0px;width:auto; border:none;}
.dcell{white-space:nowrap;padding:0px border:none;}
.dcenter{margin:0ex auto;}
.marginparleft{float:left; margin-left:0ex; margin-right:1ex;}
.marginparright{float:right; margin-left:1ex; margin-right:0ex;}
......@@ -45,16 +101,20 @@ background:#FFAD7A}
.xtitle{text-align:center;margin:1ex auto;padding:2ex;color:navy;border:solid navy;}
.xtitlerest{font-variant:small-caps;}
.ruled{border:solid black;padding:1ex;background:#eeddbb;color:maroon}
BODY{background:white;}
.title{padding:1ex;background:#00B200;}
.titlemain{padding:1ex;background:#00B200;}
.titlerest{padding:1ex;background:#00B200;}
.part{padding:1ex;background:#00CC00;}
.section{padding:.5ex;background:#2DE52D;}
.subsection{padding:0.3ex;background:#66FF66;}
.subsubsection{padding:0.5ex;background:#99FF99;}
.fmarginpar{border:solid thin #66FF66; width:20%; text-align:left;}
.ffootnoterule{border:none;margin:1em auto 1em 0px;width:50%;background:#00CC00;}
.ftoc1{list-style:none;margin:0ex 1ex;padding:0ex 1ex;border-left:1ex solid #00CC00;}
.ftoc2{list-style:none;margin:1ex 1ex;padding:0ex 1ex;border-left:1ex solid #2DE52D;}
.ftoc3{list-style:none;margin:0ex 1ex;padding:0ex 1ex;border-left:1ex solid #66FF66;}
body{background-color:white}
a:link{color:#00B200;text-decoration:underline;}
a:visited{color:#006600;text-decoration:underline;}
a:hover{color:black;text-decoration:none;background-color:#99FF99}
.title{padding:1ex;background-color:#00B200}
.titlemain{padding:1ex;background-color:#00B200}
.titlerest{padding:1ex;background-color:#00B200}
.part{padding:1ex;background-color:#00CC00}
.section{padding:.5ex;background-color:#2DE52D}
.subsection{padding:0.3ex;background-color:#66FF66}
.subsubsection{padding:0.5ex;background-color:#99FF99}
.paragraph{padding:0.5ex;background-color:#CCFFCC}
.fmarginpar{border:solid thin #66FF66; width:20%; text-align:left}
.ffootnoterule{border:none;margin:1em auto 1em 0px;width:50%;background-color:#00CC00}
.ftoc1{list-style:none;margin:0ex 1ex;padding:0ex 1ex;border-left:1ex solid #00CC00}
.ftoc2{list-style:none;margin:1ex 1ex;padding:0ex 1ex;border-left:1ex solid #2DE52D}
.ftoc3{list-style:none;margin:0ex 1ex;padding:0ex 1ex;border-left:1ex solid #66FF66}
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
manual001.png

880 Bytes

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"
"http://www.w3.org/TR/REC-html40/loose.dtd">
<HTML>
<HEAD>
<!DOCTYPE html>
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
<meta name="generator" content="hevea 2.00">
<META name="Author" content="Luc Maranget"><link rel="stylesheet" type="text/css" href="manual.css">
<title>Tutorial</title>
</head>
<body>
<a href="index.html"><img src="contents_motif.gif" alt="Up"></a>
<a href="manual022.html"><img src="next_motif.gif" alt="Next"></a>
<hr>
<table class="center"><tr><td><h1 class="part" id="sec2">Part&#XA0;A<br>
Tutorial</h1></td></tr>
</table>
<p>
<META http-equiv="Content-Type" content="text/html; charset=US-ASCII">
<META name="GENERATOR" content="hevea 1.10">
<META name="Author" content="Luc Maranget">
<LINK rel="stylesheet" type="text/css" href="manual.css">
<TITLE>Tutorial</TITLE>
</HEAD>
<BODY >
<A HREF="index.html"><IMG SRC="contents_motif.gif" ALT="Up"></A>
<A HREF="manual022.html"><IMG SRC="next_motif.gif" ALT="Next"></A>
<HR>
<TABLE CLASS="center"><TR><TD><H1 CLASS="part"><A NAME="htoc1">Part&#XA0;A</A><BR>
Tutorial</H1></TD></TR>
</TABLE><P>
<a id="usermanual"></a>
</p><ul>
<li><a href="manual003.html">How to get started</a>
</li><li><a href="manual004.html">Style files</a>
<ul>
<li><a href="manual004.html#sec5">Standard base styles</a>
</li><li><a href="manual004.html#sec6">Other base styles</a>
</li><li><a href="manual004.html#sec7">Other style files</a>
</li></ul>
</li><li><a href="manual005.html">A note on style</a>
<ul>
<li><a href="manual005.html#sec11">Spacing, Paragraphs</a>
</li><li><a href="manual005.html#sec14">Math mode</a>
</li><li><a href="manual005.html#sec19">Warnings</a>
</li><li><a href="manual005.html#sec20">Commands</a>
</li><li><a href="manual005.html#sec21">Style choices</a>
</li></ul>
</li><li><a href="manual006.html">How to detect and correct errors</a>
<ul>
<li><a href="manual006.html#sec23">H<span class="c014"><sup>E</sup></span>V<span class="c014"><sup>E</sup></span>A does not know a macro</a>
</li><li><a href="manual006.html#sec24">H<span class="c014"><sup>E</sup></span>V<span class="c014"><sup>E</sup></span>A incorrectly interprets a macro</a>
</li><li><a href="manual006.html#sec25">H<span class="c014"><sup>E</sup></span>V<span class="c014"><sup>E</sup></span>A crashes</a>
</li></ul>
</li><li><a href="manual007.html">Making H<span class="c014"><sup>E</sup></span>V<span class="c014"><sup>E</sup></span>A and L<sup>A</sup>T<sub>E</sub>X both happy</a>
<ul>
<li><a href="manual007.html#sec30">File loading</a>
</li><li><a href="manual007.html#sec31">The <span class="c012">hevea</span> package</a>
</li><li><a href="manual007.html#sec35">Comments</a>
</li></ul>
</li><li><a href="manual008.html">With a little help from L<sup>A</sup>T<sub>E</sub>X</a>
<ul>
<li><a href="manual008.html#sec37">The <span class="c017">image</span> file</a>
</li><li><a href="manual008.html#sec38">A toy example</a>
</li><li><a href="manual008.html#sec39">Including Postscript images</a>
</li><li><a href="manual008.html#sec40">Using filters</a>
</li></ul>
</li><li><a href="cutname.html">Cutting your document into pieces with H<span class="c014"><sup>A</sup></span>C<span class="c014"><sup>H</sup></span>A</a>
<ul>
<li><a href="cutname.html#sec42">Simple usage</a>
</li><li><a href="cutname.html#sec43">Advanced usage</a>
</li><li><a href="cutname.html#sec49">More Advanced Usage</a>
</li></ul>
</li><li><a href="manual018.html">Generating html constructs</a>
<ul>
<li><a href="manual018.html#sec65">High-Level Commands</a>
</li><li><a href="manual018.html#sec68">More on included images</a>
</li><li><a href="manual018.html#sec69">Internal macros</a>
</li><li><a href="manual018.html#sec71">The <span class="c012">rawhtml</span> environment</a>
</li><li><a href="manual018.html#sec72">Examples</a>
</li><li><a href="manual018.html#sec73">The document charset</a>
</li></ul>
</li><li><a href="manual019.html">Support for style sheets</a>
<ul>
<li><a href="manual019.html#sec75">Overview</a>
</li><li><a href="manual019.html#sec76">Changing
the style of all instances of an environment</a>
</li><li><a href="manual019.html#sec77">Changing the style of some instances of an environment</a>
</li><li><a href="manual019.html#sec78">Which class affects what</a>
</li><li><a href="manual019.html#sec79">A few examples</a>
</li><li><a href="manual019.html#sec83">Miscellaneous</a>
</li></ul>
</li><li><a href="manual020.html">Customizing H<span class="c014"><sup>E</sup></span>V<span class="c014"><sup>E</sup></span>A</a>
<ul>
<li><a href="manual020.html#sec89">Simple changes</a>
</li><li><a href="manual020.html#sec90">Changing defaults for type-styles</a>
</li><li><a href="manual020.html#sec91">Changing the interface of a command</a>
</li><li><a href="manual020.html#sec92">Checking the optional argument within a command</a>
</li><li><a href="manual020.html#sec93">Changing the format of images</a>
</li><li><a href="manual020.html#sec94">Storing images in a separate directory</a>
</li><li><a href="manual020.html#sec95">Controlling <span class="c012">imagen</span> from document source</a>
</li></ul>
</li><li><a href="manual021.html">Other output formats</a>
<ul>
<li><a href="manual021.html#sec97">Text</a>
</li><li><a href="manual021.html#sec98">Info</a>
</li></ul>
</li></ul>
<A NAME="usermanual"></A>
</P><UL>
<LI><A HREF="manual003.html">How to get started</A>
</LI><LI><A HREF="manual004.html">Style files</A>
<UL>
<LI><A HREF="manual004.html#toc1">Standard base styles</A>
</LI><LI><A HREF="manual004.html#toc2">Other base styles</A>
</LI><LI><A HREF="manual004.html#toc3">Other style files</A>
</LI></UL>
</LI><LI><A HREF="manual005.html">A note on style</A>
<UL>
<LI><A HREF="manual005.html#toc4">Spacing, Paragraphs</A>
</LI><LI><A HREF="manual005.html#toc5">Math mode</A>
</LI><LI><A HREF="manual005.html#toc6">Warnings</A>
</LI><LI><A HREF="manual005.html#toc7">Commands</A>
</LI><LI><A HREF="manual005.html#toc8">Style choices</A>
</LI></UL>
</LI><LI><A HREF="manual006.html">How to detect and correct errors</A>
<UL>
<LI><A HREF="manual006.html#toc9">H<FONT SIZE=2><sup>E</sup></FONT>V<FONT SIZE=2><sup>E</sup></FONT>A does not know a macro</A>
</LI><LI><A HREF="manual006.html#toc10">H<FONT SIZE=2><sup>E</sup></FONT>V<FONT SIZE=2><sup>E</sup></FONT>A incorrectly interprets a macro</A>
</LI><LI><A HREF="manual006.html#toc11">H<FONT SIZE=2><sup>E</sup></FONT>V<FONT SIZE=2><sup>E</sup></FONT>A crashes</A>
</LI></UL>
</LI><LI><A HREF="manual007.html">Making H<FONT SIZE=2><sup>E</sup></FONT>V<FONT SIZE=2><sup>E</sup></FONT>A and L<sup>A</sup>T<sub>E</sub>X both happy</A>
<UL>
<LI><A HREF="manual007.html#toc12">File loading</A>
</LI><LI><A HREF="manual007.html#toc13">The <TT>hevea</TT> package</A>
</LI><LI><A HREF="manual007.html#toc14">Comments</A>
</LI></UL>
</LI><LI><A HREF="manual008.html">With a little help from L<sup>A</sup>T<sub>E</sub>X</A>
<UL>
<LI><A HREF="manual008.html#toc15">The <I>image</I> file</A>
</LI><LI><A HREF="manual008.html#toc16">A toy example</A>
</LI><LI><A HREF="manual008.html#toc17">Including Postscript images</A>
</LI><LI><A HREF="manual008.html#toc18">Using filters</A>
</LI></UL>
</LI><LI><A HREF="cutname.html">Cutting your document into pieces with H<FONT SIZE=2><sup>A</sup></FONT>C<FONT SIZE=2><sup>H</sup></FONT>A</A>
<UL>
<LI><A HREF="cutname.html#toc19">Simple usage</A>
</LI><LI><A HREF="cutname.html#toc20">Advanced usage</A>
</LI><LI><A HREF="cutname.html#toc21">More Advanced Usage</A>
</LI></UL>
</LI><LI><A HREF="manual018.html">Generating HTML constructs</A>
<UL>
<LI><A HREF="manual018.html#toc22">High-Level Commands</A>
</LI><LI><A HREF="manual018.html#toc23">More on included images</A>
</LI><LI><A HREF="manual018.html#toc24">Internal macros</A>
</LI><LI><A HREF="manual018.html#toc25">The <TT>rawhtml</TT> environment</A>
</LI><LI><A HREF="manual018.html#toc26">Examples</A>
</LI><LI><A HREF="manual018.html#toc27">The document charset</A>
</LI></UL>
</LI><LI><A HREF="manual019.html">Support for style sheets</A>
<UL>
<LI><A HREF="manual019.html#toc28">Overview</A>
</LI><LI><A HREF="manual019.html#toc29">Changing
the style of all instances of an environment</A>
</LI><LI><A HREF="manual019.html#toc30">Changing the style of some instances of an environment</A>
</LI><LI><A HREF="manual019.html#toc31">Which class affects what</A>
</LI><LI><A HREF="manual019.html#toc32">A few examples</A>
</LI><LI><A HREF="manual019.html#toc33">Miscellaneous</A>
</LI></UL>
</LI><LI><A HREF="manual020.html">Customizing H<FONT SIZE=2><sup>E</sup></FONT>V<FONT SIZE=2><sup>E</sup></FONT>A</A>
<UL>
<LI><A HREF="manual020.html#toc34">Simple changes</A>
</LI><LI><A HREF="manual020.html#toc35">Changing defaults for type-styles</A>
</LI><LI><A HREF="manual020.html#toc36">Changing the interface of a command</A>
</LI><LI><A HREF="manual020.html#toc37">Checking the optional argument within a command</A>
</LI><LI><A HREF="manual020.html#toc38">Changing the format of images</A>
</LI><LI><A HREF="manual020.html#toc39">Storing images in a separate directory</A>
</LI><LI><A HREF="manual020.html#toc40">Controlling <TT>imagen</TT> from document source</A>
</LI></UL>
</LI><LI><A HREF="manual021.html">Other output formats</A>
<UL>
<LI><A HREF="manual021.html#toc41">Text</A>
</LI><LI><A HREF="manual021.html#toc42">Info</A>
</LI></UL>
</LI></UL>
<HR>
<A HREF="index.html"><IMG SRC="contents_motif.gif" ALT="Up"></A>
<A HREF="manual022.html"><IMG SRC="next_motif.gif" ALT="Next"></A>
</BODY>
</HTML>
<hr>
<a href="index.html"><img src="contents_motif.gif" alt="Up"></a>
<a href="manual022.html"><img src="next_motif.gif" alt="Next"></a>
</body>
</html>
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"
"http://www.w3.org/TR/REC-html40/loose.dtd">
<HTML>
<HEAD>
<META http-equiv="Content-Type" content="text/html; charset=US-ASCII">
<META name="GENERATOR" content="hevea 1.10">
<META name="Author" content="Luc Maranget">
<LINK rel="stylesheet" type="text/css" href="manual.css">
<TITLE>How to get started</TITLE>
</HEAD>
<BODY >
<A HREF="manual002.html"><IMG SRC="contents_motif.gif" ALT="Up"></A>
<A HREF="manual004.html"><IMG SRC="next_motif.gif" ALT="Next"></A>
<HR>
<H2 CLASS="section"><A NAME="htoc2">1</A>&#XA0;&#XA0;How to get<A NAME="getstarted"></A> started</H2><P>
Assume that you have a file, <TT>a.tex</TT>, written in L<sup>A</sup>T<sub>E</sub>X, using the
<TT>article</TT>, <TT>book</TT> or <TT>report</TT> style. Then,
<!DOCTYPE html>
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
<meta name="generator" content="hevea 2.00">
<META name="Author" content="Luc Maranget"><link rel="stylesheet" type="text/css" href="manual.css">
<title>How to get started</title>
</head>
<body>
<a href="manual002.html"><img src="contents_motif.gif" alt="Up"></a>
<a href="manual004.html"><img src="next_motif.gif" alt="Next"></a>
<hr>
<h2 class="section" id="sec3">1&#XA0;&#XA0;How to get started</h2>
<p>
Assume that you have a file, <span class="c012">a.tex</span>, written in L<sup>A</sup>T<sub>E</sub>X, using the
<span class="c012">article</span>, <span class="c012">book</span> or <span class="c012">report</span> style. Then,
translation
is achieved by issuing the command:
</P><PRE CLASS="verbatim"># hevea a.tex
</PRE><P>Probably, you will get some warnings. If
H<FONT SIZE=2><sup>E</sup></FONT>V<FONT SIZE=2><sup>E</sup></FONT>A does not crash, just ignore them for the moment
(Section&#XA0;<A HREF="manual006.html#trouble">4</A> explains how to correct errors).</P><P>If everything goes fine, this will produce a new file,
<TT>a.html</TT>, which you can visualize through a HTML&#XA0;browser.</P><P>If you wish to experiment H<FONT SIZE=2><sup>E</sup></FONT>V<FONT SIZE=2><sup>E</sup></FONT>A on small L<sup>A</sup>T<sub>E</sub>X source fragments,
then launch H<FONT SIZE=2><sup>E</sup></FONT>V<FONT SIZE=2><sup>E</sup></FONT>A without arguments. H<FONT SIZE=2><sup>E</sup></FONT>V<FONT SIZE=2><sup>E</sup></FONT>A will read its
</p><pre class="verbatim"># hevea a.tex
</pre><p>Probably, you will get some warnings. If
H<span class="c014"><sup>E</sup></span>V<span class="c014"><sup>E</sup></span>A does not crash, just ignore them for the moment
(Section&#XA0;<a href="manual006.html#trouble">4</a> explains how to correct errors).</p><p>If everything goes fine, this will produce a new file,
<span class="c012">a.html</span>, which you can visualize through a html&#XA0;browser.</p><p>If you wish to experiment H<span class="c014"><sup>E</sup></span>V<span class="c014"><sup>E</sup></span>A on small L<sup>A</sup>T<sub>E</sub>X source fragments,
then launch H<span class="c014"><sup>E</sup></span>V<span class="c014"><sup>E</sup></span>A without arguments. H<span class="c014"><sup>E</sup></span>V<span class="c014"><sup>E</sup></span>A will read its
standard input and print the translation on its standard output.
For instance:
</P><PRE CLASS="verbatim"># hevea
</p><pre class="verbatim"># hevea
$x \in \mathcal{E}$
^D
&lt;I&gt;x&lt;/I&gt; &amp;#X2208; &lt;FONT COLOR=red&gt;&lt;I&gt;E&lt;/I&gt;&lt;/FONT&gt;
</PRE><P>Incidentally, notice that the symbol &#X201C;&#X2208;&#X201D; translates to the
&lt;span style="font-style:italic"&gt;x&lt;/span&gt; &amp;#X2208; &lt;span style="color:red"&gt;&lt;span style="font-style:italic"&gt;E&lt;/span&gt;&lt;/span&gt;
</pre><p>Incidentally, notice that the symbol &#X201C;&#X2208;&#X201D; translates to the
appropriate numerical character reference and that the calligraphic
letter &#X201C;<FONT COLOR=red><I>E</I></FONT>&#X201D; renders as a red &#X201C;<I>E</I>&#X201D;. You can find some
more elaborate <A HREF="http://hevea.inria.fr/examples/index.html">examples</A> in
the on-line documentation.</P><HR>
<A HREF="manual002.html"><IMG SRC="contents_motif.gif" ALT="Up"></A>
<A HREF="manual004.html"><IMG SRC="next_motif.gif" ALT="Next"></A>
</BODY>
</HTML>
letter &#X201C;<span style="font-style:italic;color:red">E</span>&#X201D; renders as a red &#X201C;<span class="c017">E</span>&#X201D;. You can find some
more elaborate <a href="http://hevea.inria.fr/examples/index.html">examples</a> in
the on-line documentation.</p>
<hr>
<a href="manual002.html"><img src="contents_motif.gif" alt="Up"></a>
<a href="manual004.html"><img src="next_motif.gif" alt="Next"></a>
</body>
</html>
manual003.png

506 Bytes

This diff is collapsed.
This diff is collapsed.
manual005.png

265 Bytes

This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
manual008.png

933 Bytes

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"
"http://www.w3.org/TR/REC-html40/loose.dtd">
<HTML>
<HEAD>
<!DOCTYPE html>
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
<meta name="generator" content="hevea 2.00">
<META name="Author" content="Luc Maranget"><link rel="stylesheet" type="text/css" href="manual.css">
<title>Answers</title>
</head>
<body>
<META http-equiv="Content-Type" content="text/html; charset=US-ASCII">
<META name="GENERATOR" content="hevea 1.10">
<META name="Author" content="Luc Maranget">
<LINK rel="stylesheet" type="text/css" href="manual.css">
<TITLE>Answers</TITLE>
</HEAD>
<BODY >
<H5 CLASS="paragraph">Quiz answers</H5><P><A NAME="answers"></A>
</P><OL CLASS="enumerate" type=1><LI CLASS="li-enumerate">
<h5 class="paragraph" id="sec56">Quiz answers</h5>
<p><a id="answers"></a>
</p><ol class="enumerate" type=1><li class="li-enumerate">
Black is black.
</LI><LI CLASS="li-enumerate">White is white.
</LI><LI CLASS="li-enumerate">Dylan is Dylan.
</LI></OL></BODY>
</HTML>
</li><li class="li-enumerate">White is white.
</li><li class="li-enumerate">Dylan is Dylan.
</li></ol></body>
</html>
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"
"http://www.w3.org/TR/REC-html40/loose.dtd">
<HTML>
<HEAD>