<!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>Availability</TITLE> </HEAD> <BODY > <A HREF="browser.html"><IMG SRC="previous_motif.gif" ALT="Previous"></A> <A HREF="manual040.html"><IMG SRC="contents_motif.gif" ALT="Up"></A> <A HREF="manual044.html"><IMG SRC="next_motif.gif" ALT="Next"></A> <HR> <H2 CLASS="section"><A NAME="htoc158">C.3</A>  Availability</H2><UL> <LI><A HREF="manual043.html#toc126">Internet stuff</A> </LI><LI><A HREF="manual043.html#toc127">Law</A> </LI></UL> <H3 CLASS="subsection"><A NAME="toc126"></A><A NAME="htoc159">C.3.1</A>  Internet stuff</H3><P>H<FONT SIZE=2><sup>E</sup></FONT>V<FONT SIZE=2><sup>E</sup></FONT>A home page is <TT><A HREF="http://hevea.inria.fr/">http://hevea.inria.fr/</A></TT>. It contains links to the <A HREF="http://hevea.inria.fr//doc/">on-line manual</A> and to the <A HREF="ftp://ftp.inria.fr/INRIA/moscova/hevea">distribution</A>.</P><P>The author can be contacted at <A HREF="mailto:Luc.Maranget@inria.fr">Luc.Maranget@inria.fr</A>.</P><H3 CLASS="subsection"><A NAME="toc127"></A><A NAME="htoc160">C.3.2</A>  Law</H3><P> H<FONT SIZE=2><sup>E</sup></FONT>V<FONT SIZE=2><sup>E</sup></FONT>A can be freely used and redistributed without modifications. Modifying and redistributing H<FONT SIZE=2><sup>E</sup></FONT>V<FONT SIZE=2><sup>E</sup></FONT>A implies a few constraints. More precisely, H<FONT SIZE=2><sup>E</sup></FONT>V<FONT SIZE=2><sup>E</sup></FONT>A is distributed under the terms of the Q Public License, but H<FONT SIZE=2><sup>E</sup></FONT>V<FONT SIZE=2><sup>E</sup></FONT>A binaries include the Objective Caml runtime system, which is distributed under the Gnu Library General Public License (LGPL). See the <A HREF="ftp://ftp.inria.fr/INRIA/moscova/hevea/LICENSE">LICENSE</A> file for details.</P><P>The manual itself is distributed under the terms of the <A HREF="fddl.html">Free Document Dissemination Licence</A>. </P><HR> <A HREF="browser.html"><IMG SRC="previous_motif.gif" ALT="Previous"></A> <A HREF="manual040.html"><IMG SRC="contents_motif.gif" ALT="Up"></A> <A HREF="manual044.html"><IMG SRC="next_motif.gif" ALT="Next"></A> </BODY> </HTML>