-----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
