clear already exists

diff --git a/helm/matita/matita.txt b/helm/matita/matita.txt
index 4ff85a1aa2281c6146a5987b20a20633decbc3cb..c9158ee93ac944080937c5c37425282173a40371 100644 (file)
--- a/helm/matita/matita.txt
+++ b/helm/matita/matita.txt
@@ -26,7 +26,6 @@ TODO
 - menu contestuale (tasto dx) nel sequent viewer          ->
 - controllo per script modificato o meno prima di uscire  ->
 - riattaccare hbugs (brrr...)                             -> Zack
-- tattica clear ?                                         -> Gares
 
 DONE
 - fare tornare a matitac -1 quando lo stato finale e'