From a8b7c2dde5be21864e841bcf2741293e8e0a82e6 Mon Sep 17 00:00:00 2001
From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Wed, 25 May 2005 14:16:53 +0000
Subject: [PATCH] some work for Gares

---
 helm/matita/matita.txt | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/helm/matita/matita.txt b/helm/matita/matita.txt
index 05c28af47..097eea2d2 100644
--- a/helm/matita/matita.txt
+++ b/helm/matita/matita.txt
@@ -9,6 +9,9 @@ TODO
 - menu contestuale (tasto dx) nel sequent viewer	  ->
 - controllo per script modificato o meno prima di uscire  ->
 - riattaccare hbugs (brrr...)				  -> Zack
+- intro di una singola premessa                           -> Gares
+- elim di un goal che e` un'implicazione                  -> Gares
+- tattica clear ?                                         -> Gares
 
 DONE
 - history deve aggiornare anche la whelp bar              -> Gares
-- 
2.39.2