# HG changeset patch # User Adam Chlipala # 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 @@
-

Suggested Exercises

+

Exercises Written for CPDT

+
+

Other Exercises

+ +
+