We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 93914a3 commit 651d12eCopy full SHA for 651d12e
source/lib-intro.tex
@@ -528,8 +528,8 @@
528
529
\pnum
530
Several entities
531
-defined in \ref{\firstlibchapter} through \ref{\lastlibchapter} and \ref{depr}
532
-are only defined for the purpose of exposition.
+declared in \ref{\firstlibchapter} through \ref{\lastlibchapter} and \ref{depr}
+are only declared for the purpose of exposition.
533
The declaration of such an entity
534
is followed by a comment ending in \expos.
535
0 commit comments