X-Git-Url: https://scm.cri.ensmp.fr/git/linpy.git/blobdiff_plain/a08ebc700e22f6aee8147cb5b5323a6c040b12db..98edd00eb4b05e85f7cb1b85cff2f4d733909c57:/doc/index.rst?ds=sidebyside diff --git a/doc/index.rst b/doc/index.rst index ad985bf..d4defce 100644 --- a/doc/index.rst +++ b/doc/index.rst @@ -3,12 +3,12 @@ Welcome to LinPy’s documentation! ================================= LinPy is a polyhedral library for Python based on `isl `_. -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 `_. Its source code is available `here `_. -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 @@ -18,7 +18,7 @@ To have an overview of LinPy's functionalities, you may wish to consult the :ref :maxdepth: 2 install.rst - examples.rst + tutorial.rst reference.rst .. only:: html