Boost logo

Boost-Commit :

From: dgregor_at_[hidden]
Date: 2008-03-25 17:18:10


Author: dgregor
Date: 2008-03-25 17:18:10 EDT (Tue, 25 Mar 2008)
New Revision: 43863
URL: http://svn.boost.org/trac/boost/changeset/43863

Log:
Some more cleanups from James
Text files modified:
   sandbox/committee/concepts/wording/wording.tex | 14 ++++++++------
   1 files changed, 8 insertions(+), 6 deletions(-)

Modified: sandbox/committee/concepts/wording/wording.tex
==============================================================================
--- sandbox/committee/concepts/wording/wording.tex (original)
+++ sandbox/committee/concepts/wording/wording.tex 2008-03-25 17:18:10 EDT (Tue, 25 Mar 2008)
@@ -4614,9 +4614,10 @@
 
   \additemCC{\mbox{\tcode{S}} is the set of concept maps found by
       searching for \mbox{\tcode{N}} in the namespace of which the
- concept of \mbox{\tcode{I}} is a member;
- \mbox{\techterm{using-directives}} in that
- namespace are not followed during this search.}
+ concept of \mbox{\tcode{I}} is a member and its associated
+ namespaces (\mbox{\ref{namespace.def}});
+ \mbox{\techterm{using-directives}} in these
+ namespaces are not followed during this search.}
 \end{enumerate}
 
 \mbox{\enterexample}
@@ -4652,10 +4653,11 @@
 
   \additemCC{\mbox{\tcode{S}} is the set of concept maps found by
     searching for \mbox{\tcode{N}} in the namespace of which the
- concept of \mbox{\tcode{I}} is a member;
- \mbox{\techterm{using-directives}} in that namespace are not
+ concept of \mbox{\tcode{I}} is a member and its associated
+ namespaces (\mbox{\ref{namespace.def}});
+ \mbox{\techterm{using-directives}} in these namespaces are not
     followed during this search and all names found by way of
- using-declarations are ignored.}
+ \mbox{\techterm{using-declarations}} are ignored.}
 \end{enumerate}
    
 \addedCC{\mbox{\enternote} When requirement satisfaction is attempted


Boost-Commit list run by bdawes at acm.org, david.abrahams at rcn.com, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk