Le 23/10/2016 à 13:18, Guillaume Munch a écrit :
1942c1942
< \textrm{created with \textbf{\textbackslash frac}} & &
\textrm{created with \textbf{\textbackslash cfrac}}\\
---
\textrm{created with \textbf{⧵frac}} & & \textrm{created with
\textbf{⧵cfrac}}\\
As I understand, Günter fixed this at 6ff89c4b9 (I missed it before,
sorry). I am still curious for the questions below, if anybody knows.
Also, and more importantly, this shows that some changes to
lib/[unicode]symbols are in fact file format changes. Is it expected in
this case? Is it easy to see which kind of changes to these files are
file-format-changing and which ones are not?