On 08/29/2017 10:26 AM, Jean-Marc Lasgouttes wrote: > Le 24/08/2017 à 09:25, haim.ros...@gmail.com a écrit : >> This was generated with the file theorems-ams.inc, which has so many >> different leading spaces. > > I convinced myself that theorems-ams.inc is now correct in the UI and > pushed the patch in master and 2.3.X. > > Richard, I do not think it is worth putting this in 2.2.x, since the > bug has been present forever, but if you want it nevertheless, it will > be trivial to backport.
Probably not worth pushing to 2.2.x, since that probably won't be widely used. Richard
