=================================
LinPy is a polyhedral library for Python based on `isl <http://isl.gforge.inria.fr/>`_.
-isl (Integer Set Library) is a C library for manipulating sets and relations of integer points bounded by linear constraints.
+Integer Set Library (isl) is a C library for manipulating sets and relations of integer points bounded by linear constraints.
LinPy is a free software, licensed under the `GPLv3 license <http://www.gnu.org/licenses/gpl-3.0.txt>`_.
Its source code is available `here <https://scm.cri.ensmp.fr/git/linpy.git>`_.
-To have an overview of LinPy's functionalities, you may wish to consult the :ref:`examples` section.
+To have an overview of LinPy's functionalities, you may wish to consult the :ref:`tutorial` section.
.. only:: html
:maxdepth: 2
install.rst
- examples.rst
+ tutorial.rst
reference.rst
.. only:: html