From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Wed, 25 May 2005 14:16:53 +0000 (+0000)
Subject: some work for Gares
X-Git-Tag: single_binding~2
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=a8b7c2dde5be21864e841bcf2741293e8e0a82e6;p=helm.git

some work for Gares
---

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