regenerate opdict with lspace=rspace=0 for U+002f issue #260

[davidcarlisle]

This re-runs the python tables/operator-dictionary.py to regenerate operator-dictionary.html and operator-dictionary-compact.html As expected the only change is that / is moved to category K

As discussed in #260 it does not default / to stretchy (so it matches \ )

This was made to a locally modified unicode.xml changing

         <operator-dictionary priority="680" form="infix" lspace="4" rspace="4"/>

to

         <operator-dictionary priority="680" form="infix" lspace="0" rspace="0"/>

if this PR is merged that change will be pushed to the w3c/xml-entities repository (and reflected in the mathml4 operator dictionary)

[NSoiffer]

What's different in the (large) figure caption diff? Or maybe, "why did that change?" / (0x002f) isn't in that diff.

[davidcarlisle]

What's different in the (large) figure caption diff? Or maybe, "why did that change?" / (0x002f) isn't in that diff.

one entry changed from 0x402F to 0xC02F due to the bit packing of the data into the (changed) categories) @NSoiffer

[NSoiffer]

Thanks for the clarification. I couldn't see the change.

[davidcarlisle]

Thanks for the clarification. I couldn't see the change.

that's what emacs ediff is for (highlights character level diff over the line based diff...