deletions | additions       diff --git a/header.tex b/header.tex  index c7b4033..eafcca9 100644  --- a/header.tex  +++ b/header.tex 
...
\fi  % macros  \newcommand{\osrkit}{{\sf OSRKit}}  \newcommand{\tinyvm}{{\sf TinyVM}}  \newcommand{\shootout}{{\tt shootout}}  \newcommand{\feval}{{\tt feval}}