Cosmetic changes in documentation

diff --git a/doc/install.rst b/doc/install.rst
index 9b4b97c85d661a98df2804dd93b1b8bd016f5d95..339b6c68d95ce2a12f1f988146b38dc7e8f464a9 100644 (file)
--- a/doc/install.rst
+++ b/doc/install.rst
@@ -8,8 +8,8 @@ Dependencies
 LinPy requires Python version 3.4 or above to work.
 
 LinPy's one mandatory dependency is `isl <http://isl.gforge.inria.fr/>`_ version 0.12 or 0.13 (it may work with other versions of isl, but this has not been tested).
 LinPy requires Python version 3.4 or above to work.
 
 LinPy's one mandatory dependency is `isl <http://isl.gforge.inria.fr/>`_ version 0.12 or 0.13 (it may work with other versions of isl, but this has not been tested).

-isl can be downloaded `here <http://freshmeat.net/projects/isl/>`_ or preferably, using your favorite distribution's package manager.
-For Ubuntu, the command to run is::
+isl can be downloaded `here <http://freshmeat.net/projects/isl/>`_ or preferably, using your favorite package manager.
+For Debian or Ubuntu, the command to run is::

 
     sudo apt-get install libisl-dev
 
 
     sudo apt-get install libisl-dev
 


@@ -20,8 +20,8 @@ For Arch Linux, run::
 Apart from isl, there are two optional dependencies that will maximize the use of LinPy's functions: `SymPy <http://sympy.org/en/index.html>`_ and `matplotlib <http://matplotlib.org/>`_.
 Please consult the `SymPy download page <http://sympy.org/en/download.html>`_ and `matplotlib installation instructions <http://matplotlib.org/faq/installing_faq.html#how-to-install>`_ to install these libraries.
 
 Apart from isl, there are two optional dependencies that will maximize the use of LinPy's functions: `SymPy <http://sympy.org/en/index.html>`_ and `matplotlib <http://matplotlib.org/>`_.
 Please consult the `SymPy download page <http://sympy.org/en/download.html>`_ and `matplotlib installation instructions <http://matplotlib.org/faq/installing_faq.html#how-to-install>`_ to install these libraries.
 

-pip
----
+Install Using pip
+-----------------

 
 .. warning::
 
 
 .. warning::
 


@@ -34,8 +34,8 @@ LinPy can be installed using pip with the command::
 
 .. _source:
 
 
 .. _source:
 

-Source
-------
+Install From Source
+-------------------

 
 Alternatively, LinPy can be installed from the source.
 First, clone the public git repository::
 
 Alternatively, LinPy can be installed from the source.
 First, clone the public git repository::

diff --git a/doc/reference.rst b/doc/reference.rst
index e6492270266a73e27fb4ec15512fee88c7891a61..8e360568ded21f15046006d571894d3bce950b61 100644 (file)
--- a/doc/reference.rst
+++ b/doc/reference.rst
@@ -173,7 +173,6 @@ For example, if ``x`` is a :class:`Symbol`, then ``x + 1`` is an instance of :cl
         >>> x < y
         Le(x - y + 1, 0)
 
         >>> x < y
         Le(x - y + 1, 0)
 

-

     .. method:: scaleint()
 
         Return the expression multiplied by its lowest common denominator to make all values integer.
     .. method:: scaleint()
 
         Return the expression multiplied by its lowest common denominator to make all values integer.


@@ -303,6 +302,7 @@ This space can be unbounded.
 
     The universe polyhedron, whose set of constraints is always satisfiable, i.e. is empty.
 
 
     The universe polyhedron, whose set of constraints is always satisfiable, i.e. is empty.
 

+

 Domains
 -------
 
 Domains
 -------