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.
WIP in virtux
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)
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.
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
Importata l'espressione per hol_light (e aggiornata alla versione svn 164).
Cleanup e aggiornamento di HOL Light
Merge dei file nixpkgs/config.nix di maggesi@neve e maggesi@virtux
Aggiornato HOL Light alla rev 167
Aggiornato HOL Light