-"Output:\n"
-" -d, --defines produce anche uno header\n"
-" -v, --verbose produce anche una spiegazione dell'automa\n"
-" -b, --file-prefix=PREFIX specifica un prefisso per il file di output\n"
-" -o, --output=FILE lascia l'output in FILE\n"
-" -g, --graph produce anche una descrizione VCG dell'automa\n"
-
-#: src/getargs.c:154
+"THINGS è un elenco di parole separate da virgola scelte tra:\n"
+" `state' descrive gli stati\n"
+" `itemset' completa gli insiemi dei simboli con la loro chiusura "
+"transitiva\n"
+" `lookahead' associa i token di prospezione ai simboli\n"
+" `solved' descrive la riduzione dei conflitti shift/riduzione\n"
+" `all' include tutte queste informazioni\n"
+" `none' disabilita la produzione del rapporto\n"
+
+#: src/getargs.c:247