sponsor Vim development Vim logo Vim Book Ad

Coq indent : Indentation for coq files

 script karma  Rating 5/2, Downloaded by 1705  Comments, bugs, improvements  Vim wiki

created by
Vincent Aravantinos
script type
Pretty clear, no ?
install details
Put the file in the directory ~/.vim/indent/

If not already done, follow step 2 of install at http://www.vim.org/scripts/script.php?script_id=2063.

Also, if not already done, add the line:
:filetype indent on
to your .vimrc file


rate this script Life Changing Helpful Unfulfilling 
script versions (upload new version)

Click on the package to download.

package script version date Vim version user release notes
coq.vim 0.3 2007-12-01 7.0 Vincent Aravantinos Bugfix inside proofs.
coq.vim 0.2 2007-11-28 7.0 Vincent Aravantinos Handle proofs that do not start with 'Proof' - REQUIRES VERSION 1.3.5 OR MORE OF THE PLUGIN COQ SYNTAX (http://www.vim.org/scripts/script.php?script_id=2063)
coq.vim 0.1 2007-11-27 7.0 Vincent Aravantinos Initial upload
ip used for rating:

If you have questions or remarks about this site, visit the vimonline development pages. Please use this site responsibly.
Questions about Vim should go to the maillist. Help Bram help Uganda.