Cosmetic changes in documentation

diff --git a/doc/install.rst b/doc/install.rst
index 9b4b97c..339b6c6 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 e649227..8e36056 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
 -------