Loading ...
Sorry, an error occurred while loading the content.

Re: Proof General for Vim

Expand Messages
  • Jeroen Budts
    ... Hash: SHA256 ... Did you have a look at the plugins section on vim.org? There are 3 plugins related to coq
    Message 1 of 5 , Jan 18, 2013
    • 0 Attachment
      -----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
    Your message has been successfully submitted and would be delivered to recipients shortly.