Update for TODO items accomplished.

diff --git a/TODO b/TODO
index 3fe80a7dc885c4bd88ffc5cb80a1c50a0432bb33..3e7758d1e1c3e04b4051ee008af8e27b9db606c5 100644 (file)
--- a/TODO
+++ b/TODO
@@ -3,15 +3,11 @@
 * Use a real pseudorandom-number generator with a seed rather than just
   time-sampling.
 
-* Add command logging and command log replay.  Note that the replay log
-  needs to begin with the random-number seed.
+* Add command log replay.  Note that the replay log needs to begin
+  with the random-number seed.
 
 * Use that feature to make regression tests from walkthroughs.
 
-* Add command-line option to disable all extension features.  First
-  extension features: (1) Command prompt, (2) initial resource-allocation
-  number display suppressed.
-
 * Translate the FORTRANish mess to actual C.
 
 * Inline the database so the code doesn't need an external file.