Search results

From Event-B
Jump to navigationJump to search
  • {{Admin tip|tip=The "[[Extension:Inputbox|inputbox extension]]" allows you to provide an even easier way for your users to create new pa ...
    3 KB (522 words) - 22:57, 4 July 2008
  • ...nd the content you type in it will become the section heading. There is no inputbox for the [[Help:edit summary|edit summary]], it is automatically created acc A simple extension can give you the ability to create non-TOC headings. Try the following, whi ...
    23 KB (3,699 words) - 14:10, 12 September 2008