tabular plugin
Added coq support
emacs settings
change from pathogen to vundle