X-Git-Url: https://scm.cri.mines-paristech.fr/git/linpy.git/blobdiff_plain/b4bd8f7aa081b9296c6089310d286c3b7359a5cc..b676f2dfbaa1aac981210c603bb6407d357a0340:/doc/reference.rst

diff --git a/doc/reference.rst b/doc/reference.rst
index e649227..64c37c6 100644
--- a/doc/reference.rst
+++ b/doc/reference.rst
@@ -1,4 +1,6 @@
 
+.. _reference:
+
 Module Reference
 ================
 
@@ -173,7 +175,6 @@ For example, if ``x`` is a :class:`Symbol`, then ``x + 1`` is an instance of :cl
         >>> x < y
         Le(x - y + 1, 0)
 
-
     .. method:: scaleint()
 
         Return the expression multiplied by its lowest common denominator to make all values integer.
@@ -303,11 +304,12 @@ This space can be unbounded.
 
     The universe polyhedron, whose set of constraints is always satisfiable, i.e. is empty.
 
+
 Domains
 -------
 
 A *domain* is a union of polyhedra.
-Unlike polyhedra, domains allow exact computation of union and complementary operations.
+Unlike polyhedra, domains allow exact computation of union, subtraction and complementary operations.
 
 .. class:: Domain(*polyhedra)
               Domain(string)