# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1357680001 18000
# Node ID c8a3cb24bae93f0280c4a5ad278a0d6ccba42aea
# Parent  a95af5a5999089d29a106b7bc7eb18cebfe07172
Coq'Art exercises

diff -r a95af5a59990 -r c8a3cb24bae9 staging/ex/index.html
--- a/staging/ex/index.html	Tue Jan 08 15:48:32 2013 -0500
+++ b/staging/ex/index.html	Tue Jan 08 16:20:01 2013 -0500
@@ -10,11 +10,18 @@
 </div>
 
 <div class="project">
-<h2>Suggested Exercises</h2>
+<h2>Exercises Written for CPDT</h2>
 <ul>
 <li> <a href="exercises.pdf">Snapshot of exercises that were included in CPDT when I decided to stop maintaining exercises</a> (<a href="http://adam.chlipala.net/">Adam Chlipala</a>)</li>
 <li> <a href="http://www.cis.upenn.edu/~bcpierce/courses/670Fall12/">Homeworks from CIS 670 at Penn in Fall 2012</a> (<a href="http://www.cis.upenn.edu/~bcpierce/">Benjamin Pierce</a> and students in the class)</li>
 </ul>
 </div>
 
+<div class="project">
+<h2>Other Exercises</h2>
+<ul>
+<li> <a href="http://www.labri.fr/perso/casteran/CoqArt/contents.html">Coq'Art exercises</a> (<a href="http://www-sop.inria.fr/lemme/Yves.Bertot/index.html">Yves Bertot</a> and <a href="http://www.labri.fr/Perso/~casteran/index.html">Pierre Cast&eacute;ran</a>)</li>
+</ul>
+</div>
+
 </body></html>