Pygments lexer for PVS source files
Project description
Pygments PVS
============
Overview
--------
This packages provides a `Pygments`_ lexer for the `PVS`_ language. The
lexer is published as an entry point - once installed, `Pygments`_
should use it automatically.
You can then use the ``pvs`` lexer with `Pygments`_:
$ pygmentize -l pvs mytheory.pvs
.. _PVS: http://pvs.csl.sri.com/
.. _Pygments: http://pygments.org/docs/
Installation
------------
The preferred way to install pygments-pvs is by using pip. This can be
done by installing pygments-pvs from the PyPI repository, or directly
from the source. In both case, the commands install pygments-pvs for
the local user only - if you want to install it system-wide, simply
remove the ``--user`` flag and start the command as root (using ``su`` or
``sudo``).
Installing from the PyPI repository:
$ pip install pygments-pvs --user
Installing directly from the git:
$ git clone git://github.com/Elarnon/pygments-pvs.git
$ cd pygments-pvs
$ pip install . --user
To verify the installation, run
$ pygmentize -L lexer | grep -i pvs
* pvs:
PVS (filenames *.pvs)
Using in LaTeX documents
------------------------
See the minted package at http://minted.googlecode.com
============
Overview
--------
This packages provides a `Pygments`_ lexer for the `PVS`_ language. The
lexer is published as an entry point - once installed, `Pygments`_
should use it automatically.
You can then use the ``pvs`` lexer with `Pygments`_:
$ pygmentize -l pvs mytheory.pvs
.. _PVS: http://pvs.csl.sri.com/
.. _Pygments: http://pygments.org/docs/
Installation
------------
The preferred way to install pygments-pvs is by using pip. This can be
done by installing pygments-pvs from the PyPI repository, or directly
from the source. In both case, the commands install pygments-pvs for
the local user only - if you want to install it system-wide, simply
remove the ``--user`` flag and start the command as root (using ``su`` or
``sudo``).
Installing from the PyPI repository:
$ pip install pygments-pvs --user
Installing directly from the git:
$ git clone git://github.com/Elarnon/pygments-pvs.git
$ cd pygments-pvs
$ pip install . --user
To verify the installation, run
$ pygmentize -L lexer | grep -i pvs
* pvs:
PVS (filenames *.pvs)
Using in LaTeX documents
------------------------
See the minted package at http://minted.googlecode.com
Project details
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
pygments-pvs-0.1.tar.gz
(4.5 kB
view hashes)