coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Plugin development in emacs with merlin

From: Hans Jacob Fehrmann Rojas <hans.jfehrmann AT gmail.com>
To: coq-club AT inria.fr
Subject: [Coq-Club] Plugin development in emacs with merlin
Date: Sat, 21 Apr 2018 12:32:44 -0300
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=hans.jfehrmann AT gmail.com; spf=Pass smtp.mailfrom=hans.jfehrmann AT gmail.com; spf=None smtp.helo=postmaster AT mail-vk0-f45.google.com
Ironport-phdr: 9a23:ysG+gBBcl341QkQBkbQEUyQJP3N1i/DPJgcQr6AfoPdwSPv/ocbcNUDSrc9gkEXOFd2Cra4c0KyO6+jJYi8p2d65qncMcZhBBVcuqP49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6JvjvGo7Vks+7y/2+94fcbglUijexe69+IAmrpgjNq8cahpdvJLwswRXTuHtIfOpWxWJsJV2Nmhv3+9m98p1+/SlOovwt78FPX7n0cKQ+VrxYES8pM3sp683xtBnMVhWA630BWWgLiBVIAgzF7BbnXpfttybxq+Rw1DWGMcDwULs5Xymp4aV2Rx/ykCoJNzA3/mLKhMJukK1WuwiuqwBlzoPOfI2ZKPhzc6XAdt0aX2pBWcNRWjRDDIymaYsPFPcKM+JCoIbhoFsBtga1CwmyC+Pv0D9Ig2X53as80+88DQ/G2w4gEMgVsH/Jq9j1NL0dUeauzKXSzzXDYe1Z2Tfn6IjNaB8hp/eMUKl/ccrU00YvFgfFgk+MpoziOjOYz+IAuHWY4ep4Te+jlXIrpgVrrjWsxsogkJfFip8bx1ze+ih0wIA4LsCiRkFhe96rCp5QujmaN4RoRsMiRHlluCMgxb0HvZ63ZTYKyJc7yxLGZfyKfIiF7gjsVOaWJjd4i3Zld6ylixmu9kigz/XwVsiy0FlUsipIisfAumwJ2hDJ6cWKSuFx8lm81TuBzQze5eFJLVgxlaXBKp4hxrAwloAUsUTGBiL2mF/5jKmNdkk++Oio5froYrX8pp+ZLYB0jAf+P78hmsy6G+s4MwwOU3KH9uS70b3v5Vf5T6lSjv0qjqnZt4jXKtgcpq6gGgNazoIj6wukADq9y9QZnXwHLEpfdx6djojpPUvOIPHiAvuljVSsimQj+/eTNbr4R57JM3LrkbH7fL875VQP5hA0yIV/7pRPQpMIK/X5EmH8tMbdBxk/ezazwe/8QIF934UFH2CBD6+DNarUt3eH4+suJ6+HY4pD62W1EOQs+/O71SxxolQaZ6T8hcJGOkD9JexvJgCiWVSph94AFWkQuQ9nFb7ljVSDVXhYYHPgBvtgtAF+M5qvCML4fq7omKaIhX7pEZhfZ2QAAVeJQy+xKte0HswUYSfXGfdP1zwJUb/7Ft0k3BCq8RH5k/9pcreS9SofupbuktNy4r+LmA==

I am developing a plugin in emacs with merlin. Today I changed my pc and now I am not able to locate the function on the coq modules. The problem seems to be some cmt files missing. How can this be fixed?

Best,

Hans.

[Coq-Club] Plugin development in emacs with merlin, Hans Jacob Fehrmann Rojas, 04/21/2018
- Re: [Coq-Club] Plugin development in emacs with merlin, Abhishek Anand, 04/21/2018
  - Re: [Coq-Club] Plugin development in emacs with merlin, Théo Zimmermann, 04/21/2018
    - Re: [Coq-Club] Plugin development in emacs with merlin, Hans Jacob Fehrmann Rojas, 04/21/2018