SF bug #997533: "disjunct" should be "disjoint"

* Use plain wording in docs for id().
* Use normal quotation marks instead of single quotes in the description.

diff --git a/Doc/lib/libfuncs.tex b/Doc/lib/libfuncs.tex
index 0c5b0e359ed39e91452dd3a0e3ed0056c3148ee0..ff922d40f9a8d9abffd3ad66bc1357e7ea69d43a 100644 (file)
--- a/Doc/lib/libfuncs.tex
+++ b/Doc/lib/libfuncs.tex
@@ -509,10 +509,10 @@ class C:
 \end{funcdesc}
 
 \begin{funcdesc}{id}{object}
-  Return the `identity' of an object.  This is an integer (or long
+  Return the ``identity'' of an object.  This is an integer (or long
   integer) which is guaranteed to be unique and constant for this
-  object during its lifetime.  Two objects whose lifetimes are
-  disjunct may have the same \function{id()} value.  (Implementation
+  object during its lifetime.  Two objects with non-overlapping lifetimes
+  may have the same \function{id()} value.  (Implementation
   note: this is the address of the object.)
 \end{funcdesc}