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