![](https://secure.gravatar.com/avatar/b79687264c3e06cba13b54d05b12a9f5.jpg?s=120&d=mm&r=g)
14 Sep
2015
14 Sep
'15
4: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
3257
Age (days ago)
3257
Last active (days ago)
0 comments
1 participants
participants (1)
-
Wolfgang Schuster