Copyright (C) 2008-2013 INRIA and Microsoft Corporation
Authors:
Kaustuv Chaudhuri
Denis Cousineau
Damien Doligez
Leslie Lamport
Tomer Libal
Stephan Merz
Jean-Baptiste Tristan
Hernan Vanzetto
License: 2-clause BSD, portions under LGPL2.1+LE
(see file LICENSE for details)
For installation instructions, see the file INSTALL.md in this directory.
Some user documentation is in the form of HTML files in the directory
doc/web. Start with doc/web/index.html.
Tags of the form vI.J.K in the git repository are releases.
Other tags may be ephemeral.