Update.

diff --git a/TODO b/TODO
index 3d3207cbe93329bf20d6826e2517651b565323bc..726b11801f8e53185edc813ce1cd37d7bbf95d10 100644 (file)
--- a/TODO
+++ b/TODO
@@ -1,20 +1,11 @@
 -*- text -*-
 
-* Put time limits on tests.
+* Get rid of rox--causes more trouble than it's worth
 
-* `make grade'
-
-* We need better and more example programs.
-
-  - Need an mmap example program as a replacement for the crappy mmap FAQ
-    question.
-
-* Give advice on how to use `diff' to find out what has changed
+* Reconsider command line arg style--confuses everyone.
 
 * pintos script doesn't (always?) delete temp disks
 
-* GNU make 3.80 or later is required.
-
 * Finish writing tour.