Metadata-Version: 1.1
Name: pygments-pvs
Version: 0.1
Summary: Pygments lexer for PVS source files
Home-page: https://github.com/Elarnon/pygments-pvs
Author: Basile Clement
Author-email: basile@clement.pm
License: MIT
Download-URL: https://github.com/Elarnon/pygments-pvs/archive/0.1.tar.gz
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
        
Platform: UNKNOWN
Classifier: Development Status :: 3 - Alpha
Classifier: Environment :: Plugins
Classifier: License :: OSI Approved :: MIT License
Classifier: Programming Language :: Python
Classifier: Programming Language :: Python :: 2
Classifier: Programming Language :: Python :: 3
Classifier: Operating System :: OS Independent
Classifier: Intended Audience :: Developers
Classifier: Topic :: Software Development :: Libraries :: Python Modules
