CoqIDE : Emulate Coq IDE in VIM
| script karma
Downloaded by 1131
Comments, bugs, improvements
|You can use this script to make vim behaves like CoqIDE.
This script needs +perl vim option.
Should work well on non-gui version of vim on unix systems.
See comments at beginning of coq_IDE.vim for more informations.
|Copy the coq_IDE.vim file to "~/.vim/ftplugin/coq_IDE.vim" and add "filetype plugin on" in your "~/.vimrc".
Alternatively, you can ":source coq_IDE.vim" whenever you want.
"coqtop" should be accessible on PATH. If "coqtop" is not in
your PATH, add 'let CoqIDE_coqtop = "/path/to/coqtop"' in your "~/.vimrc".
This script comes with key bindings. These bindings are not loaded by default.
You can add "let g:CoqIDEDefaultKeyMap = 1" in your "~/.vimrc" to load its automatically.
<F2> undo last command
<F3> send next command
<F4> goto the command under the cursor
<F5> undo all commands
<F6> send all the buffer
<F7> refresh screen
<F8> kill coqtop
b : break computation (only when a command is being interpreted)
Rating scripts is only available on the
script versions (upload new version)
Click on the package to download.
ip used for rating: 22.214.171.124
||Various improvements from Shu-Chun Weng:
- Customize coqtop options: read from CoqIDE_coqtop_option variable
- Check and show background goals when the foreground ones are all done.
- ProceedUntilCursor reads the character under the cursor, too, so you can park the cursor on the period and still get the last command in.
||Corrected script behavior when multiple files are edited.
Expressions containing '..' are now correctly sent to coqtop.
||Aesthetical changes + robustness on sourcing