1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41
|
<!DOCTYPE html>
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
<meta name="generator" content="hevea 2.34">
<meta name="Author" content="Luc Maranget">
<script type="text/javascript" async src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.1/MathJax.js?config=TeX-MML-AM_CHTML"></script><link rel="stylesheet" type="text/css" href="manual.css">
<title>Availability</title>
</head>
<body>
<a href="browser.html"><img src="previous_motif.svg" alt="Previous"></a>
<a href="manual040.html"><img src="contents_motif.svg" alt="Up"></a>
<a href="manual044.html"><img src="next_motif.svg" alt="Next"></a>
<hr>
<h2 class="section" id="sec232">C.3  Availability</h2>
<ul>
<li><a href="manual043.html#sec233">Internet stuff</a>
</li><li><a href="manual043.html#sec234">Law</a>
</li></ul>
<h3 class="subsection" id="sec233">C.3.1  Internet stuff</h3>
<p>H<span class="c016"><sup>E</sup></span>V<span class="c016"><sup>E</sup></span>A home page is <a href="http://hevea.inria.fr/"><span class="c013">http://hevea.inria.fr/</span></a>. It contains links to the
<a href="http://hevea.inria.fr//doc/">on-line manual</a>
and to the <a href="http://hevea.inria.fr/distri">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" id="sec234">C.3.2  Law</h3>
<p>
H<span class="c016"><sup>E</sup></span>V<span class="c016"><sup>E</sup></span>A can be freely used and redistributed without modifications.
Modifying and redistributing H<span class="c016"><sup>E</sup></span>V<span class="c016"><sup>E</sup></span>A implies a few constraints.
More precisely, H<span class="c016"><sup>E</sup></span>V<span class="c016"><sup>E</sup></span>A is distributed under the terms of the
Q Public License, but H<span class="c016"><sup>E</sup></span>V<span class="c016"><sup>E</sup></span>A binaries include the Objective Caml
runtime system, which is distributed under the Gnu Library General
Public License (LGPL).
See the <a href="http://hevea.inria.fr/distri/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.svg" alt="Previous"></a>
<a href="manual040.html"><img src="contents_motif.svg" alt="Up"></a>
<a href="manual044.html"><img src="next_motif.svg" alt="Next"></a>
</body>
</html>
|