helm/matita/TODO

   1 - ricerca
   2   - sintassi concreta (da controllare)
   3   - hint
   4 - script handling
   5 - alias
   6   - sintassi concreta
   7   - generazione di alias dalla disambiguazione allo script
   8 - console
   9   - input (invio + punto)
  10   - cut and paste
  11   - scrolling
  12 - menu contestuali / contesti per tattiche che richiedono argomenti
  13 - linguaggio per la notazione