Coq indent - Indentation for coq files : vim online

Coq indent : Indentation for coq files

script karma

Rating 5/2, Downloaded by 1790

Comments, bugs, improvements

Vim wiki

created by

Vincent Aravantinos

script type

indent

description

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

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




	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.	Vim at Github