HLPSL : HLPSL plugin for GVim
| script karma |
Rating 0/0,
Downloaded by 1222 |
Comments, bugs, improvements
|
Vim wiki
|
| created by |
| xing chao |
| |
| script type |
| patch |
| |
| description |
this is a plugin for hlpsl ,which is a lauguage for specifying security protocols . The home page of this lauguage is www.avispa-project.org/
hotkeys :
<leader>cc comment one line
<leader>cu cancel one line comment
<leader>qe add comment at end of line
linux:
<F7> :call HLPSL_hlpsl2html()
<F8> :call HLPSL_hlpsl2htmlArguments()
<F9> :call HLPSL_hlpsl2latex()
<F10> :call HLPSL_hlpsl2latexArguments()
<F11> :call HLPSL_avispa()
<F12> :call HLPSL_avispaArguments()
windows:
<F5> :call HLPSL_Ofmc()
<F6> :call HLPSL_OfmcArguments(usage: ofmc <IF File> [-theory <Theory file>] [-sessco] [-untyped] [-d <DEPTH>]
[-p <PATH>])
<F7> :call HLPSL_Clatse()
<F8> :call HLPSL_ClatseArguments(usage: clatse : -nb n -light-notype -short -out -dir d -ns -noopt -v -col n -bench ) |
| |
| install details |
drop it to vimfiles or .vim
|
| |
script versions (upload new version)
Click on the package to download.
ip used for rating: 35.170.81.33
|
