On 01/16/13 20:14, Danny Gratzer wrote:
I'm starting to work with Coq and I'd prefer I can't seem to find any tools for Vim like Proof General for interacting with Coq. Are there any such tools out there?
Having not seen any replies, it might help to detail what "Coq" and "Proof General" are (germane URLs or a description of your desired tools would be useful). While folks may not know Coq/PG, there may be other similar programs/tools that could be modified to fit your needs.
-tim -- 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
