This commit is contained in:
Jip J. Dekker 2021-07-07 18:08:34 +10:00
parent 2bd95d1abd
commit 622a3255f9
No known key found for this signature in database
GPG Key ID: 517DF4A00618C9C3

View File

@ -9,7 +9,7 @@
\newcommand*{\Cmls}{\Glspl{cml}}
\newcommand*{\cmls}{\glspl{cml}}
\newcommand*{\cml}{\gls{cml}}
\newcommand*{\compiler}{\glspl{compiler}\xspace{}}
\newcommand*{\compiler}{\gls{compiler}\xspace{}}
\newcommand*{\constraint}{\gls{constraint}\xspace{}}
\newcommand*{\Constraint}{\Gls{constraint}\xspace{}}
\newcommand*{\constraints}{\glspl{constraint}\xspace{}}