Irrobustita holl-send-tactic
WIP in holl-mode
Move xen-domU.nix in subdir modules
Add system as new input
Semplificata la configurazione di dolly che adesso rappresenta un prototipo di macchina minimale udini
Semplificato e corretto lo script build-releases
L'input system era sovrascritto per errore
Ritorno a xfce su neve (adesso vari problemi sembrano risolti).
Merge branch 'master' of https://github.com/maggesi/nixconfs
Merge branch 'master' of ssh://elio.math.unifi.it/~/Repos/Git/nixconfs
Merge branch 'holl-light'

Conflicts:
	pkgs/holl-mode/holl-mode-20071214-fix/inferior-holl.el
Aggiornato HOL Light
Aggiunto virtualbox su neve.
Aggiornata la configurazione di holinux
Aggiornata la configurazione di holuser@holinux
Aggiornata la configurazione di virtux
Merge branch 'master' of ssh://elio.math.unifi.it/~/Repos/Git/nixconfs
Importati gli script di checkpointing di HOL Light
Aggiornata la configurazione di neve
Ulteriori configurazioni per hol_light_gcs