index.html 4.1 KB
 Ralf Treinen committed Oct 04, 2012 1 2 3 4   Ralf Treinen committed Jul 31, 2018 5   Ralf Treinen committed Dec 03, 2013 6   Ralf Treinen committed Jul 31, 2018 7   Ralf Treinen committed Oct 04, 2012 8 HEVEA User Documentation  Ralf Treinen committed Jul 31, 2018 9 Version 2.32  Ralf Treinen committed Oct 04, 2012 10 11 12 13   Ralf Treinen committed Aug 28, 2007 14 15   Ralf Treinen committed Jul 31, 2018 16 17 

HEVEA User Documentation
Version 2.32

Luc Maranget*

July 4, 2018

 Ralf Treinen committed Oct 04, 2012 18 

 Ralf Treinen committed Aug 04, 2004 19 This manual also exists in  Ralf Treinen committed Jul 31, 2018 20 21 22 23 24 compressed Postscript, PDF, and as a bundle of HTML files.

Abstract: HEVEA is a LATEX to  Ralf Treinen committed Oct 04, 2012 25 html translator.  Ralf Treinen committed Oct 17, 2006 26 The input language is a fairly complete subset of LATEX 2є (old  Ralf Treinen committed Aug 04, 2004 27 LATEX style is also accepted) and the  Ralf Treinen committed Oct 04, 2012 28 output language is html that is (hopefully) correct with respect to  Ralf Treinen committed Jul 31, 2018 29 version 5 [HTML-5a, HTML-5b]

HEVEA understands LATEX macro definitions. Simple user style  Ralf Treinen committed Aug 04, 2004 30 files are understood with little or no modifications.  Ralf Treinen committed Jul 31, 2018 31 32 Furthermore, HEVEA customisation is done by writing LATEX code.

HEVEA is written in Objective Caml, as many lexers. It is quite fast and flexible. Using HEVEA it is possible to translate  Ralf Treinen committed Jun 05, 2005 33 large documents such as manuals, books, etc. very quickly. All  Ralf Treinen committed Oct 04, 2012 34 documents are translated as one single html file. Then, the output  Ralf Treinen committed Jul 31, 2018 35 file can be cut into smaller files, using the companion program HACHA.

HEVEA can also be instructed to output plain text or info files.

Information on HEVEA is available at http://hevea.inria.fr/.  Ralf Treinen committed Oct 04, 2012 36 37 38 39 

 Ralf Treinen committed Aug 04, 2004 40 41 This document consists in three parts, a tutorial introduction, a reference manual and some practical information. The latter part  Ralf Treinen committed Oct 04, 2012 42 43 44 45 46 47 48 49 includes a small index.

*
Inria Rocquencourt – BP 105, 78153 Le  Ralf Treinen committed Jun 19, 2014 50 Chesnay Cedex. Luc.Maranget@inria.fr
 Ralf Treinen committed Aug 04, 2004 51   Ralf Treinen committed Oct 04, 2012 52 
This document was translated from LATEX by  Ralf Treinen committed Jul 31, 2018 53 HEVEA.
 Ralf Treinen committed Oct 04, 2012 54