erikmd/tapfa-init-macos.el

Environnement de TP pour OCaml et Coq avec GNU Emacs sous macOS (UE TAPFA)

Environnement de TP pour OCaml et Coq (avec Emacs)

NOTE: Ce dépôt GitHub n'est plus maintenu.

La documentation correspondante (pour macOS) est désormais directement disponible dans le dépôt GitHub suivant : erikmd/tapfa-init.el.