From: Ben Pfaff <blp@gnu.org>
Date: Fri, 5 May 2006 03:39:25 +0000 (+0000)
Subject: Update.
X-Git-Tag: v0.6.0~902
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=5dded31efae3e0b28311082d4c3c9f1cf7f57913;p=pspp-builds.git

Update.
---

diff --git a/TODO b/TODO
index 13f839f0..67850298 100644
--- a/TODO
+++ b/TODO
@@ -1,4 +1,4 @@
-Time-stamp: <2006-05-03 22:28:57 blp>
+Time-stamp: <2006-05-04 20:39:17 blp>
 
 Procedure processing:
 
@@ -14,6 +14,8 @@ Procedure processing:
 
 * LAG need not be as much of a special case.
 
+* Change sources into state machines?
+
 Get rid of need for GNU diff in `make check'.
 
 Format specifier code needs to be rewritten for lowered crappiness.