Skip to content
Find file
Fetching contributors…
Cannot retrieve contributors at this time
25 lines (19 sloc) 836 Bytes
<?xml version='1.0' encoding='UTF-8'?>
<!DOCTYPE html PUBLIC '-//W3C//DTD XHTML 1.1//EN' 'http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd'>
<html xmlns='http://www.w3.org/1999/xhtml' xml:lang='en'>
<head>
<title>Readme</title>
</head>
<body>
<h1>Readme</h1>
<hr/><h2>1. Prerequisites</h2>
<ul>
<li><a href='http://coq.inria.fr/'>Coq</a> 8.2pl1</li>
<li><a href='http://coq.inria.fr/distrib/current/contribs/CoRN.html'>CoRN</a></li>
<li><a href='http://color.inria.fr/download-color.html'>CoLoR</a></li>
<li><a href='http://www.scons.org/'>SCons</a> &ge; 0.98 (SCons is a modern make-replacement based on Python)</li>
</ul>
<hr/><h2>2. Compilation</h2>
<p>Simply invoking "<kbd>scons</kbd>" in the current directory should compile the entire development.</p>
</body>
</html>
Something went wrong with that request. Please try again.