X-Git-Url: https://scm.cri.mines-paristech.fr/git/linpy.git/blobdiff_plain/d9ce6feb2d36e40e83326744f1d4ff3890d1874f..50f0fde4dca3f10e535314b1c9d325cd9283735b:/doc/index.rst?ds=inline

diff --git a/doc/index.rst b/doc/index.rst
index 97e6157..b3a9271 100644
--- a/doc/index.rst
+++ b/doc/index.rst
@@ -1,16 +1,16 @@
-.. pypol documentation master file, created by
+.. LinPy documentation master file, created by
    sphinx-quickstart on Wed Jun 25 20:34:21 2014.
    You can adapt this file completely to your liking, but it should at least
    contain the root `toctree` directive.
 
-Welcome to Linpy’s documentation!
+Welcome to LinPy’s documentation!
 =================================
 
-Linpy is a Python library for symbolic mathematics.
-If you are new to Linpy, start with the Examples.
+LinPy is a Python wrapper for the Integer Set Library (isl) by Sven Verdoolaege. Isl ia a C library for manipulating sets and relations of integer points bounded by linear constraints. 
 
-This is the central page for all of Linpy’s documentation.
+If you are new to LinPy, start with the Examples.
 
+This is the central page for all of LinPy’s documentation.
 
 Contents: