14 Sep
2015
14 Sep
'15
2:25 p.m.
Hi, the allocation of the token list \bodyfontenvironmentlist on line 1192 \newtoks\bodyfontenvironmentlist can be removed because the command is redefined a few lines below. Wolfgang