<commit_before>************
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`_:

.. code-block:: bash
    $ 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:

.. code-block:: bash
    $ pip install pygments-pvs --user

Installing directly from the git:

.. code-block:: bash
    $ git clone git://github.com/Elarnon/pygments-pvs.git
    $ cd pygments-pvs
    $ pip install . --user

To verify the installation, run

.. code-block:: bash
    $ pygmentize -L lexer | grep -i pvs
    * pvs:
        PVS (filenames *.pvs)

Using in LaTeX documents
========================

See the minted package at http://minted.googlecode.com<commit_msg>Fix README (2)<commit_after>************
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`_:

.. code-block:: bash

    $ 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:

.. code-block:: bash

    $ pip install pygments-pvs --user

Installing directly from the git:

.. code-block:: bash

    $ git clone git://github.com/Elarnon/pygments-pvs.git
    $ cd pygments-pvs
    $ pip install . --user

To verify the installation, run

.. code-block:: bash

    $ pygmentize -L lexer | grep -i pvs
    * pvs:
        PVS (filenames *.pvs)

========================
Using in LaTeX documents
========================

See the minted package at http://minted.googlecode.com
{'fraction_non_alphanumeric': 0.1593245227606461, 'fraction_numerical': 0.0003671071953010279, 'mean_word_length': 3.526578073089701, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '1237911', 'n_tokens_mistral': 897, 'n_tokens_neox': 844, 'n_words': 325}