CVS difference for ai05s/ai05-0136-1.txt

Differences between 1.8 and version 1.9
Log of other versions for file ai05s/ai05-0136-1.txt

--- ai05s/ai05-0136-1.txt	2009/07/11 03:06:22	1.8
+++ ai05s/ai05-0136-1.txt	2010/01/09 01:31:29	1.9
@@ -445,7 +445,9 @@
       any child nodes; and returns False otherwise.
       AARM Ramification: Is_Leaf returns False if passed No_Element, as
-      No_Element does not designate an element.
+      No_Element does not designate an element. Is_Leaf can be passed a cursor
+      that designates the root node; Is_Leaf will return True if passed
+      the root node of an empty tree.
    function Root (Container : Tree) return Cursor;

Questions? Ask the ACAA Technical Agent