vim plugin

imeckler · Sep 16, 2014 · 4080938 · 4080938
1 parent 470d83d
commit 4080938
Show file tree

Hide file tree

Showing 3 changed files with 27 additions and 0 deletions.
diff --git a/vim/ftdetect/proof.vim b/vim/ftdetect/proof.vim
@@ -0,0 +1 @@
+autocmd BufNewFile,BufReadPost *.proof set filetype=proof
diff --git a/vim/ftplugin/proof.vim b/vim/ftplugin/proof.vim
@@ -0,0 +1,2 @@
+setlocal foldmethod=indent
+setlocal foldignore=
diff --git a/vim/syntax/proof.vim b/vim/syntax/proof.vim
@@ -0,0 +1,24 @@
+" Vim syntax file
+" Language: Structured Proof Markup Language
+" Maintainer: Izaak Meckler
+
+if exists("b:current_syntax")
+  finish
+end
+
+" proof is case sensitive
+syn case match
+
+" Keywords
+syn keyword proofKeywords theorem definition claim cases let take assume prove macros comment because suppose then
+syn match proofKeywords /such that/
+
+syn include @LATEX syntax/tex.vim
+syn region proofTexBlock start="\v\[\|" end="\v\|\]" keepend contains=@LATEX
+" syn region proofTexBlock start="begintex" end="endtex" keepend contains=@LATEX
+
+let b:current_syntax = "proof"
+
+hi def link proofKeywords Constant
+
+
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		autocmd BufNewFile,BufReadPost *.proof set filetype=proof
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,2 @@
		setlocal foldmethod=indent
		setlocal foldignore=