Subversion Repositories wimsdev

Last modification

• Rev 16599 2022-04-23 09:06:33
• Author: bpr

• Log message:

  [mathml lewis] delete some <mo> (put size on the mrow)
  change the place of the phantom