Editorial changes from review to Core changes by Mike Miller.

Author: Stefanus Du Toit

source/basic.tex

@@ -1388,8 +1388,8 @@
 When the \grammarterm{postfix-expression} in
 a function call~(\ref{expr.call}) is an \grammarterm{unqualified-id}, other namespaces not considered
 during the usual unqualified lookup~(\ref{basic.lookup.unqual}) may be
-searched, and in those namespaces, namespace-scope friend or function
-template function declarations~(\ref{class.friend}) not otherwise
+searched, and in those namespaces, namespace-scope friend function or function
+function template declarations~(\ref{class.friend}) not otherwise
 visible may be found.
 These modifications to the search depend on the types of the arguments
 (and for template template arguments, the namespace of the template

source/exceptions.tex

@@ -13,7 +13,7 @@
 associated with a point previously passed by the execution.
 A handler will be invoked only by throwing an exception
 in code executed in the handler's try block
-or in functions called from the handler's try block .
+or in functions called from the handler's try block.
 
 \indextext{\idxcode{try}}%
 %
@@ -1032,13 +1032,13 @@
 \tcode{f}
 has the \grammarterm{exception-specification} \tcode{noexcept(true)} if every function it directly invokes allows no
 exceptions.
-\enternote An instantiation of an inheriting constructor template has
-an implied \grammarterm{exception-specification} as if it were a non-template
-inheriting constructor.\exitnote
 \enternote It follows that \tcode{f} has the
 \grammarterm{exception-specification} \tcode{noexcept(true)} if it
 invokes no other functions.
 \exitnote
+\enternote An instantiation of an inheriting constructor template has
+an implied \grammarterm{exception-specification} as if it were a non-template
+inheriting constructor.\exitnote
 \enterexample
 \begin{codeblock}
 struct A {

source/expressions.tex

@@ -1615,7 +1615,8 @@
 \tcode{(*p)}, \tcode{*(p)}, \tcode{((*p))}, \tcode{*((p))}, and so on
 all meet this requirement.}
 and the pointer is a null pointer value~(\ref{conv.ptr}), the
-\tcode{typeid} expression throws the
+\tcode{typeid} expression throws an exception~(\ref{except.throw}) of
+a type that would match a handler of type
 \indextext{\idxcode{bad_typeid}}%
 \indexlibrary{\idxcode{bad_typeid}}%
 \tcode{std::bad_typeid}
@@ -1725,7 +1726,7 @@
 the result refers to the object or the specified base class subobject
 thereof; otherwise, the lvalue-to-rvalue conversion~(\ref{conv.lval})
 is applied to the bit-field and the resulting prvalue is used as the
-expression of the \tcode{static_cast} for the remainder of this section.
+\grammarterm{expression} of the \tcode{static_cast} for the remainder of this section.
 If \tcode{T2} is an inaccessible (Clause~\ref{class.access}) or
 ambiguous~(\ref{class.member.lookup}) base class of \tcode{T1},
 a program that necessitates such a cast is ill-formed.
@@ -3484,7 +3485,7 @@
 is $\mathrm{E1}\times2^\mathrm{E2}$, reduced modulo
 one more than the maximum value representable in the result type. Otherwise, if
 \tcode{E1} has a signed type and non-negative value, and $\mathrm{E1}\times2^\mathrm{E2}$ is
-representable in corresponding unsigned type of the result type, then
+representable in the corresponding unsigned type of the result type, then
 that value, converted to the result type, is the resulting value; otherwise, the
 behavior is undefined.
 
@@ -4327,6 +4328,8 @@
 as integral or enumeration non-type template
 arguments~(\ref{temp.arg}). 
 \exitnote
+
+\pnum
 A \term{literal constant expression} is a prvalue core constant
 expression of literal type, but not pointer type (after conversions as
 required by the context). For a literal constant expression of array

source/special.tex

@@ -467,8 +467,8 @@
 a default argument is sequenced before the construction of the next array element, if any.
 
 \pnum
-The second context is when a reference is bound to a temporary.
-\footnote{The same rules apply to initialization of an
+The second context is when a reference is bound to a
+temporary.\footnote{The same rules apply to initialization of an
   \tcode{initializer_list} object~(\ref{dcl.init.list}) with its
   underlying temporary array}
 The temporary to which the reference is bound or the temporary