Skip to content

Commit 2d61829

Browse files
committed
[intro.{r,d}efs] Make "C standard library" a defined term
Partially fixes ISO/CS-002 (C++23 DIS).
1 parent f672ecf commit 2d61829

File tree

1 file changed

+9
-10
lines changed

1 file changed

+9
-10
lines changed

source/intro.tex

Lines changed: 9 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -70,16 +70,6 @@
7070
Available from: \url{https://www.unicode.org/versions/latest/}
7171
\end{itemize}
7272

73-
\pnum
74-
The library described in ISO/IEC 9899:2018, Clause 7,
75-
is hereinafter called the
76-
\defnx{C standard library}{C!standard library}.
77-
\begin{footnote}
78-
With the qualifications noted in \ref{\firstlibchapter}
79-
through \ref{\lastlibchapter} and in \ref{diff.library}, the C standard
80-
library is a subset of the \Cpp{} standard library.
81-
\end{footnote}
82-
8373
\pnum
8474
The operating system interface described in ISO/IEC 9945:2009 is
8575
hereinafter called \defn{POSIX}.
@@ -164,6 +154,15 @@
164154
\defncontext{statement}
165155
compound statement
166156

157+
\indexdefn{C!standard library}%
158+
\definition{C standard library}{defns.c.lib}
159+
library described in \IsoC{}, Clause 7
160+
\begin{defnote}
161+
With the qualifications noted in \ref{\firstlibchapter}
162+
through \ref{\lastlibchapter} and in \ref{diff.library},
163+
the C standard library is a subset of the \Cpp{} standard library.
164+
\end{defnote}
165+
167166
\definition{character}{defns.character}
168167
\indexdefn{character}%
169168
\defncontext{library}

0 commit comments

Comments
 (0)