Remove Arch Linux installation of isl in the doc

[linpy.git] / doc / index.rst

diff --git a/doc/index.rst b/doc/index.rst
index d4defce..ce346f1 100644 (file)
--- a/doc/index.rst
+++ b/doc/index.rst
@@ -6,9 +6,10 @@ LinPy is a polyhedral library for Python based on `isl <http://isl.gforge.inria.
 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>`_.
 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>`_.
+Its source code is available `here <https://scm.cri.mines-paristech.fr/git/linpy.git>`_.

 
 

-To have an overview of LinPy's functionalities, you may wish to consult the :ref:`tutorial` section.
+To have an overview of LinPy's features, you may wish to read the :ref:`tutorial`.
+For a comprehensive description of its functionalities, please consult the :ref:`reference`.

 
 .. only:: html
 
 
 .. only:: html
 


@@ -21,6 +22,7 @@ To have an overview of LinPy's functionalities, you may wish to consult the :ref
     tutorial.rst
     reference.rst
 
     tutorial.rst
     reference.rst
 

+

 .. only:: html
 
     Indices and tables
 .. only:: html
 
     Indices and tables