From 117bfdb3e54a83a4898fddd45960d6260fe1d8bb Mon Sep 17 00:00:00 2001
From: Michael Orlitzky <michael@orlitzky.com>
Date: Wed, 31 Aug 2011 14:03:58 -0400
Subject: [PATCH] Remove some completed TODO entries.

---
 doc/TODO | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/doc/TODO b/doc/TODO
index 1e6a516..99d0da8 100644
--- a/doc/TODO
+++ b/doc/TODO
@@ -1,12 +1,8 @@
 * Add the rest of the edge incidence tests. Make sure it works across
   cubes, too.
 
-* Update the test suite to use the test-framework package.
-
 * Add the section (2.9) tests.
 
-* Figure out why TC.prop_c0120_identity4 and friends are failing.
-
 * Figure out why the section (2.5) c_ijk1 identity is failing.
 
 * Use distribution combinators[1] to get rid of the orphan instance
-- 
2.43.2