(Back to Marco Maggesi’s home page.)
holl-mode - an Emacs major mode for editing and excuting HOL-Light scripts.
Come installare kerberos su Ubuntu per autenticarsi ai servizi del Dipartimento di Matematica …
… e come configurare openafs su Ubuntu per poter usare i volumi condivisi direttamente dal proprio desktop.
