Last-minute changes in the documentation

diff --git a/doc/reference.rst b/doc/reference.rst
index af5cd4d..4dcfbdc 100644 (file)
--- a/doc/reference.rst
+++ b/doc/reference.rst
@@ -230,7 +230,7 @@ They are implemented by the :class:`Rational` class, that inherits from both :cl
 Polyhedra
 ---------
 
 Polyhedra
 ---------
 

-A *convex polyhedron* (or simply polyhedron) is the space defined by a system of linear equalities and inequalities.
+A *convex polyhedron* (or simply "polyhedron") is the space defined by a system of linear equalities and inequalities.

 This space can be unbounded.
 
 .. class:: Polyhedron(equalities, inequalities)
 This space can be unbounded.
 
 .. class:: Polyhedron(equalities, inequalities)


@@ -476,7 +476,7 @@ Unlike polyhedra, domains allow exact computation of union and complementary ope
 Comparison and Logic Operators
 ------------------------------
 
 Comparison and Logic Operators
 ------------------------------
 

-The following functions create :class:`Polyhedron` or :class:`Domain` instances by comparison of :class:`LinExpr` instances:
+The following functions create :class:`Polyhedron` or :class:`Domain` instances using the comparisons of two or more :class:`LinExpr` instances:

 
 .. function:: Lt(expr1, expr2[, expr3, ...])
 
 
 .. function:: Lt(expr1, expr2[, expr3, ...])