- 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