Search results

From Event-B
Jump to navigationJump to search
  • <noinclude>[[Category:License templates|{{PAGENAME}}]]</noinclude>
    526 bytes (74 words) - 23:05, 4 July 2008
  • ...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
  • The TeX code has to be put literally: MediaWiki templates, predefined templates, and parameters cannot be used within math tags: pairs of double braces are ...using mathematical templates can be conveniently altered by modifying the templates involved; this modification will affect all relevant formulae without any m
    65 KB (9,755 words) - 10:04, 5 September 2008
  • * Distributed under the BSD license * - Support for templates (through AJAX)
    267 KB (34,206 words) - 10:58, 24 June 2008
  • * Distributed under the BSD license * - Support for templates (through AJAX)
    281 KB (35,750 words) - 15:33, 31 October 2008