---

Ⅰ. 插件描述

HLPSL plugin for GVim

Ⅱ. 基本信息

创建日期：  2013-04-06 使用用户：  1 Github星：  1 插件作者：  xing chao

Ⅲ. 安装方法

使用Vundle管理器安装

在你的.vimrc下添加:

Plugin '/hlpsl'

… 然后在Vim中运行以下命令:

:source %
:PluginInstall

对于Vundle版本 < 0.10.2，请用上面的Bundle替换Plugin。

使用NeoBundle管理器安装

在你的.vimrc下添加:

NeoBundle '/hlpsl'

… 然后在Vim中运行以下命令:

:source %
:NeoBundleInstall

使用VimPlug管理器安装

在你的.vimrc下添加:

Plug '/hlpsl'

… 然后在Vim中运行以下命令:

:source %
:PlugInstall

使用Pathogen管理器安装

在终端中运行以下命令:

cd ~/.vim/bundle
git clone https://github.com/vim-scripts/HLPSL

Ⅳ. 文档说明

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 )