Done.

diff --git a/TODO b/TODO
index d7462f4074cc02768a6f4d7c2213b50c285abd8d..0b2aba5dd9ccb2590130519dac153226cceef1c2 100644 (file)
--- a/TODO
+++ b/TODO
@@ -5,9 +5,6 @@ score: better formatting of the score table
 interactive tasks: solve deadlocks?
 interactive tasks: logging of messages
 
-guide: compile <file>, not only <task>
-guide: status
-
 Environment
 ~~~~~~~~~~~
 fpc: add switch -gl (runtime errors write line#)