Cyril Cohen (Apr 15 2020 at 14:09): Cyril Cohen (Apr 15 2020 at 14:09):Hi, is this channel empty?
Théo Zimmermann (Apr 15 2020 at 14:09):Yep :(
Théo Zimmermann (Apr 15 2020 at 14:09):Never had any success
Andrey Popp (Gitter import) (Apr 16 2020 at 08:02):Still waiting for a proper vim UI to appear, I gave it a go some time ago (serapi + neovim + lua) and it worked but still requires too much work to polsih. Switched to emacs/PG to unblock my progress.
Théo Zimmermann (Apr 16 2020 at 08:22):@Andrey Popp I thought it was more out of interest that you gave it a go. What's wrong with Coqtail again (https://github.com/whonore/Coqtail )? As for NeoVim, there is another fork of Coquille (https://framagit.org/tyreunom/coquille ) which targets it.
Andrey Popp (Gitter import) (Apr 16 2020 at 09:11):Those didn't work with neovim because of a nature FFI in neovim.
Andrey Popp (Gitter import) (Apr 16 2020 at 09:11):oh, the one on framagit worked but it was buggy
Wolf Honore (Apr 16 2020 at 17:12):I've been working on a pretty big infrastructure change to Coqtail (https://github.com/whonore/Coqtail/tree/async) that should make it easier to eventually support NeoVim, but I haven't had a lot of time recently so progress is slow
Pierre Courtieu (Apr 16 2020 at 18:38):I guess Proofgeneral long life is mainly due to that “not much time for that” thing...
Last updated: Oct 13 2024 at 01:02 UTC