Search results

From Event-B
Jump to navigationJump to search
  • ...he text editor supports syntax and semantic highlighting, code completion, templates, an outline view, quick navigation and many more. ...GNU Public License which is legally not compatible with the Eclipse Public License used in Rodin. Second, the parser RunCC used in TEF has some issues related
    8 KB (1,257 words) - 15:56, 28 January 2010