You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Is this indexed as intended? I find it strange that all these entries would redirect to compilation, separate.
Shouldn't it be the other way around? Do we even want to mention compilation here? After all, compilation isn't really the conventional wording we use here.
The text was updated successfully, but these errors were encountered:
Also related to #5641. The index seemingly implies that the standard treats compilation same as translation, but it's unclear to me whether this is intended.
draft/source/lex.tex
Lines 7 to 9 in ceff4ea
Is this indexed as intended? I find it strange that all these entries would redirect to
compilation, separate
.Shouldn't it be the other way around? Do we even want to mention compilation here? After all, compilation isn't really the conventional wording we use here.
The text was updated successfully, but these errors were encountered: