Cleaner implementation of Domain.__sub__()

[linpy.git] / doc / index.rst

diff --git a/doc/index.rst b/doc/index.rst
index ad985bf..a1809d6 100644 (file)
--- a/doc/index.rst
+++ b/doc/index.rst
@@ -3,7 +3,7 @@ Welcome to LinPy’s documentation!
 =================================
 
 LinPy is a polyhedral library for Python based on `isl <http://isl.gforge.inria.fr/>`_.
 =================================
 
 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>`_.
 
 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>`_.