Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo

Close

#686 Math symbols not translated if present as subchain

3.0
closed-fixed
Thomas Muller
5
2013-10-25
2013-07-18
Nicolas Beauger
No

This bug concerns math symbols that can be typed in with text, like or, not, true, POW, NAT, ... and should be translated into ∨, ¬, ⊤, ℙ, ℕ, ...

When the text appears as a subchain of an identifier before the place where the symbol text is entered, it does not get translated.

For instance, the first 'or' is translated but not the second one in:
a=0 ∨ a=work or a=1

Discussion

    • labels: --> Event-B interface, Keyboard
     
    • assigned_to: Nicolas Beauger
     
  • Fixed by git commit de11df6.

     
    • status: open --> closed-fixed
    • assigned_to: Nicolas Beauger --> Thomas Muller