Re: Proof General for Vim

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

On 01/18/2013 04:14 AM, Danny Gratzer wrote:
> Ah yes sorry for not clarifying that earlier.
>
> My solution so far has been to use CoqIDE and just suck it up, I'll
> post here if I come up with something workable in Vim

Did you have a look at the plugins section on vim.org? There are 3
plugins related to 'coq'
(http://www.vim.org/scripts/script_search_results.php?keywords=coq&script_type=&order_by=rating&direction=descending&search=search),
including one which seems to emulate Coq IDE.

Jeroen


-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.17 (GNU/Linux)

iQIcBAEBCAAGBQJQ+RIVAAoJEBrqc/v4ufiMcZoQALjShKj9iPwgEcVX8wBb1Q6R
/YdA1ZM29YLIbWCYQZ6/eO5pjmO2hdOhCYMxZmYlpoCy+3REGgpawlcBrrdsOqI8
BseoQ/OhzVvuIr0T/7XxNEJDV5XEK0JkUNQgYb8x1RqeVAdM6O4HFbhkqXWCK1ri
6sRD7ey5iVAHWdbEbRNPoWkaqvW6mh52RLY4AySrt9E7VUj0/PcWIHLq1B15dE0a
klQ3Qk8Nleqlhr0o4kCkDBl8oOqJcY9dZfMDuyO3hhy4JP0E6IhngFhDeWOAiaBM
C4meTwWo3UdVeS+RL9DM3ZDTuWiQPaNLt/3VD1jr90HWeAuSioajQZ0kbvhJbm5h
DR7rREXkeVW3oafCmQCWULKjpQ5ZQyWA04EagzxobVl7E61q9jKlo9DwHqQCfdLS
wo/D32WfS2lkQ4pUiO8BgFpBBQxi9dR39MuykMjn4wBE348kpFyhpE3f5JKTmKfw
IMuQDTxUMAnJ1cfMh0DH9BRoX4bH3NcY0Py4ewPScnoYpH7E9sjkjQR94Ecbzdpq
lVaaBQIDw4Znkk8KmOV3MwZdmWWdNVQkfTtD8rFUwuM7FTj2SMR9YkTtjsACvYaj
V2jvfa7Wv6JIWhGM4TyZeKsj3SoYk7GinT01vk7OmlI3WwoKaIwTYQQt/ZJXpvo7
k4j5HMFHt99PiEXvCMBM
=URsj
-----END PGP SIGNATURE-----

--
You received this message from the "vim_use" maillist.
Do not top-post! Type your reply below the text you are replying to.
For more information, visit http://www.vim.org/maillist.php