changeset 490:c8a3cb24bae9

Coq'Art exercises
author Adam Chlipala <>
date Tue, 08 Jan 2013 16:20:01 -0500
parents a95af5a59990
children da576746c3ba
files staging/ex/index.html
diffstat 1 files changed, 8 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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 class="project">
-<h2>Suggested Exercises</h2>
+<h2>Exercises Written for CPDT</h2>
 <li> <a href="exercises.pdf">Snapshot of exercises that were included in CPDT when I decided to stop maintaining exercises</a> (<a href="">Adam Chlipala</a>)</li>
 <li> <a href="">Homeworks from CIS 670 at Penn in Fall 2012</a> (<a href="">Benjamin Pierce</a> and students in the class)</li>
+<div class="project">
+<h2>Other Exercises</h2>
+<li> <a href="">Coq'Art exercises</a> (<a href="">Yves Bertot</a> and <a href="">Pierre Cast&eacute;ran</a>)</li>