VIM support for proof tree definition files
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
ctags
ftdetect
ftplugin
syntax
LICENSE
README.md
Screenshot_1.png

README.md

vim-prooftree

VIM support for proof tree definition files.

Provides syntax highlighting (via using the existing highlighting for lisp), folding and Tagbar integration for prooftree (.pt) definition files.

Mappings

The combination <leader>pc (the leader key is usually either the backslash or the comma) initiates the translation of your ".pt" file to LaTeX and compiles it via pdflatex. It is required that the ProofRenderer.jar executable is in your PATH. Note: ProofRenderer is also contained in the ctags/ directory of this plugin. You may also put this file into your path instead of downloading it from the dedicated repository.

Screenshots

Screenshot

Installation Instructions

Choose one of the subsequent methods:

  • "Vanilla-VIM" method:
    Unzip the directories ftdetect, ftplugin, ctags and syntax into your .vim directory
  • Using Vundle (RECOMMENDED):
    1. Add the line Plugin 'rindPHI/vim-pt' to your .vimrc, .vimrc.bundles or .vimrc.bundles.local
    2. Run :PluginInstall from inside VIM
  • Using Pathogen:
    Unzip the whole repository into a subdirectory of your .vim/bundles/