K 10 svn:author V 4 gahr K 8 svn:date V 27 2014-06-10T08:13:17.458890Z K 7 svn:log V 277 - Update to 2.16 Changes in 2.16 * Patchy: change fnsymbol from '%' to '$' Changes in 2.15 * Correct definition of \@addstyle as '%' can now occur in attr -> inline definition of \@printnostyle * Correct bug : define \% as \char037 not as * \@print{\char045} ! END