Importata la directory holl-mode di nixos_stuff.
Alcune modifiche in holl-mode.
In particolare aggiunte delle funzioni elementari per inviare un
termine, una riga, un goal.
Cambiata configurazione di maggesi@neve.
holl-mode: aggiunte varie funzioni ispirate a hol-light-mode
In corso di un tentativo di dare una struttura piu' comprensibile.
Merge branch 'holl-mode' of https://github.com/maggesi/nixconfs into holl-mode
Migliorata holl-send-tactic (adesso rimuove THENL? finale e ricononosce una riga contenente solo spazi come separatore)
Merge branch 'holl-mode' of github.com:maggesi/nixconfs into holl-mode