pvs源文件的pygment lexes
pygments-pvs的Python项目详细描述
pygments pvs
==
概述
——
此软件包为“pvs”语言提供了一个“pygments”lexer。
lexer作为入口点发布-一旦安装，“pygments”应该自动使用它。
_私人网站：http://pvs.csl.sri.com/
…_ pygments:http://pygments.org/docs/
安装
----
安装pygments pvs的首选方法是使用pip。这可以通过从pypi存储库安装pygments pvs来实现，也可以直接从源代码安装。在这两种情况下，命令只为本地用户安装pygments pvs—如果您想在系统范围内安装它，简单地
删除`--user``标志并以根用户身份启动命令（使用``su``或
``sudo``）。
安装。--用户
要验证安装，请运行
$pygmentize-l lexer grep-i pvs
*pvs:
pvs（filenames*.pvs）
==
概述
——
此软件包为“pvs”语言提供了一个“pygments”lexer。
lexer作为入口点发布-一旦安装，“pygments”应该自动使用它。
_私人网站：http://pvs.csl.sri.com/
…_ pygments:http://pygments.org/docs/
安装
----
安装pygments pvs的首选方法是使用pip。这可以通过从pypi存储库安装pygments pvs来实现，也可以直接从源代码安装。在这两种情况下，命令只为本地用户安装pygments pvs—如果您想在系统范围内安装它，简单地
删除`--user``标志并以根用户身份启动命令（使用``su``或
``sudo``）。
安装。--用户
要验证安装，请运行
$pygmentize-l lexer grep-i pvs
*pvs:
pvs（filenames*.pvs）
欢迎加入QQ群-->： 979659372
