Configurer Emacs pour les débutants au CNAM

## Comment avoir les réccourcis Windows dans Emacs au CNAM?

Mettre dans son fichier .emacs la ligne suivante;

(cua-mode t)

Comment avoir la configuration emacs complète pour débutant du CNAM

Télécharger emacsCNAM.el

Puis mettre les lignes suivantes dans le fichier .emacs de votre répertoire racine:

(setq load-path (cons "~/EMACSCNAM" load-path))
(load-file "~/EMACSCNAM/emacsCNAM.el")

control-F11 pour compiler (éditer la commande de compilation, valider)
shift-control-F11 pour re-compiler (utilise la dernière commande de compilation)
control-F12 pour aller à l’erreur suivante
shift-control-F12 pour aller à l’erreur précédente

Modes pour OCaml et Coq

Ces modes doivent être téléchargé et déplacez dans le répertoire ~/EMACSCNAM, ensuite ça devrait fonctionner si vous avez installé emacsCNAM.el comme expliqué ci-dessus.