Skip to content

Commit

Permalink
Fix dubious \defnx that has see{} in it, and remove range index entry…
Browse files Browse the repository at this point in the history
… with the same key.
  • Loading branch information
Eelis committed Apr 15, 2018
1 parent 660443c commit d6234b6
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 4 deletions.
2 changes: 1 addition & 1 deletion source/iostreams.tex
Expand Up @@ -11403,7 +11403,7 @@

\pnum
\indextext{path!normalization|(}%
\defnx{Normalization}{normalization!path|see{path, normalization}} of a generic format pathname means:
\defnx{Normalization}{normalization!path} of a generic format pathname means:

\begin{enumerate}
\item If the path is empty, stop.
Expand Down
5 changes: 2 additions & 3 deletions source/templates.tex
Expand Up @@ -1764,7 +1764,6 @@
\end{example}

\rSec2[temp.constr.normal]{Constraint normalization}
\indextext{constraint!normalization|(}%

\pnum
The \defnx{normal form}{normal form!constraint} of an \grammarterm{expression} \tcode{E} is
Expand Down Expand Up @@ -1821,10 +1820,11 @@
\end{itemize}

\pnum
\indextext{normalization|see{constraint, normalization}}%
The process of obtaining the normal form of a
\grammarterm{constraint-expression}
is called
\defnx{normalization}{normalization!constraint|see{constraint, normalization}}.
\defnx{normalization}{constraint!normalization}.
\begin{note}
Normalization of \grammarterm{constraint-expression}{s}
is performed
Expand Down Expand Up @@ -1854,7 +1854,6 @@
The associated constraints of \#3 are
\tcode{requires (T x) \{ ++x; \}} (with mapping $\tcode{T} \mapsto \tcode{U}$).
\end{example}
\indextext{constraint!normalization|)}

\rSec2[temp.constr.order]{Partial ordering by constraints}
\indextext{subsume|see{constraint, subsumption}}
Expand Down

0 comments on commit d6234b6

Please sign in to comment.