6 lines
209 B
Plaintext
6 lines
209 B
Plaintext
# Exclude these environments from syntax checking
|
|
VerbEnvir { pgfpicture tikzpicture mzn nzn plain grammar proof }
|
|
MathCmd { \hypo }
|
|
WipeArg { \mzninline:{} \nzninline:{} \Sem:{} \texttt:{} }
|
|
CmdLine { -n21 }
|