C.3 Availability

• Internet stuff
• Law

C.3.1 Internet stuff

H^EV^EA home page is http://hevea.inria.fr/. It contains links to the on-line manual and to the distribution.

The author can be contacted at Luc.Maranget@inria.fr.

C.3.2 Law

H^EV^EA can be freely used and redistributed without modifications. Modifying and redistributing H^EV^EA implies a few constraints. More precisely, H^EV^EA is distributed under the terms of the Q Public License, but H^EV^EA binaries include the Objective Caml runtime system, which is distributed under the Gnu Library General Public License (LGPL). See the LICENSE file for details.

The manual itself is distributed under the terms of the Free Document Dissemination Licence.