tapfa-init-macos.el：TP环境倾倒OCaml和Coq avec GNU Emacs sous macOS（UE...

TP环境倾倒OCaml和Coq（avec Emacs） 注意：CedépôtGitHub n'est plus maintenu 。 La文档通讯员（倾注macOS）和désormais指导书，负责人dans ledépôtGitHub suivant： 。