Search results

From Event-B
Jump to navigationJump to search
  • ...otify the user properly. So we recommend checking for updates regularly or watching this page for changes. We will announce updates on this page too.'' * ''Configuration of highlighting'': In the Rodin preference pages you will find a page for the highlighting in the TextEditor. It allows you ...
    6 KB (945 words) - 12:22, 27 January 2015