sponsor Vim development Vim logo Vim Book Ad

Coq indent : Indentation for coq files

 script karma  Rating 5/2, Downloaded by 944    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

 

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

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.
   
SourceForge.net Logo