<!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 1.10 </TITLE> <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"> </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 1.10</H1><H3 CLASS="titlerest">Luc Maranget<SUP><A NAME="text1" HREF="#note1">*</A></SUP></H3><H3 CLASS="titlerest">August 21, 2007</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. The input language is a fairly complete subset of L<sup>A</sup>T<sub>E</sub>X 2є (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 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 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 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 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> 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 – BP 105, 78153 Le Chesnay Cedex. <TT><A HREF="mailto:Luc.Maranget@inria.fr">Luc.Maranget@inria.fr</A></TT> </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>