fixups - defnadj use, moved xref

Author: notadragon

source/intro.tex

@@ -921,9 +921,8 @@
 attempting to modify a const object).
 
 \pnum
-\indextext{observable checkpoint}
 Certain events in the execution of a program
-are termed \defn{observable checkpoints}.
+are termed \defnadj{observable}{checkpoints}.
 \begin{note}
 A call to \tcode{std::observable}\iref{utility.undefined}
 is an observable checkpoint.
@@ -932,7 +931,7 @@
 \pnum
 \indextext{program!well-formed}%
 \indextext{behavior!observable}%
-The \defn{defined prefix} of an execution
+The \defnadj{defined}{prefix} of an execution
 comprises the operations $O$
 for which for every undefined operation $U$
 there is an observable checkpoint $C$
@@ -973,7 +972,7 @@
 \pnum
 \indextext{conformance requirements}%
 The following specify the
-\defnx{observable behavior}{behavior!observable}
+\defnadj{observable}{behavior}
 of the program:
 \begin{itemize}
 \item

source/utilities.tex

@@ -709,6 +709,7 @@
 \begin{itemdecl}
 void observable() noexcept;
 \end{itemdecl}
+
 \begin{itemdescr}
 \pnum
 \effects

source/xrefdelta.tex

@@ -487,6 +487,9 @@
 \movedxref{stmt.stmt}{stmt}
 \movedxref{dcl.dcl}{dcl}
 
+% P1494R5 added more to this section and expanded its scope
+\movedxref{utility.unreachable}{utility.undefined}
+
 %%% Deprecated features.
 %%% Example:
 %