Help:ProofWiki Extension

 Through the efforts of Joe and Lord_Farin, an extension of the MediaWiki software tailored to the needs of has been developed.

Its prime features are:


 * A method to transclude pages section-wise and adjust the header sizes as appropriate;
 * A method to fold/unfold sections whose content is not of paramount relevance, but deserves to be included.

Both of these features are accomplished through two custom constructs, documented below. It is helpful (but not necessary) to be up to speed with MediaWiki's transclusion mechanism before reading this documentation.

The &lt;section&gt; tag
The &lt;section&gt; tag is a semantic anchor, designed to structure pages in a way suitable for both transclusion and folding.

The basic syntax is:

 Content

which renders the same as:

Section title
Content

It further supports the following options, which should be entered as option="value" parameters to the &lt;section&gt; tag;


 * 1) title - Sets the title of the section. Defaults to "Section".
 * 2) notitle - If this option occurs, a title for the section will be suppressed; useful for leaving out that annoying initial sentence when transcluding. Incompatible with foldable.
 * 3) foldable</tt> - If this has the value true</tt>, the section will be "folded" initially; a link in the section title will allow readers to expand the content. Folding delays rendering of MathJax. Incompatible with notitle</tt>.
 * 4) header</tt> - Sets the header level of the section (corresponding to the number of =</tt>s in regular wiki syntax).
 * 5) name</tt> - The name of a section can be used to provide section-wise transclusion, via the   </tt> template.

Known issues/limitations
One cannot use the character &gt;</tt> in the parameters to &lt;section&gt;</tt>. In particular, HTML is not supported; another common instigator of this issue will be inequalities like $2 > 3$.

Erratic behaviour may occur when including &lt;section&gt;</tt> and &lt;/section&gt;</tt> commands in &lt;nowiki&gt;</tt> markers.

The  </tt> template
The  </tt> template is a more versatile implementation of the basic transclusion mechanism.

The basic syntax is:

which roughly has the same effect as:

if the section section_name</tt> is enclosed in onlyinclude</tt> markers.

Note that the title of the to-be-transcluded page is to be separated from <tt>transclude</tt> by a colon, <tt>:</tt>, instead of a pipe, <tt>|</tt>.

It further supports the following options, which should be entered as template parameters, <tt>|option = value</tt>, to the <tt> </tt> template:


 * 1) <tt>title</tt> - Sets the title of the section. Defaults to no title.
 * 2) <tt>section</tt> - Transcludes only the section whose name is <tt>value</tt>.
 * 3) <tt>link</tt> - The title of the transcluded section is a link to <tt>value</tt>. The special option <tt>true</tt> provides a link to the transclusion target page.
 * 4) <tt>increase</tt> - Increases the header level of all transcluded sections by <tt>value</tt>, which must be positive.
 * 5) <tt>header</tt> - The header level of the transcluded section. Defaults to two <tt>=</tt>s.
 * 6) <tt>foldable</tt> - If set to <tt>true</tt>, the transcluded section will be foldable.

Known issues/limitations
Transclusion fails if the opening and closing <tt>&lt;section&gt;</tt> tags do not match in the transclusion target page.

Transclusion is executed by means of <tt>&lt;section&gt;</tt> tags, so the issues and limitations of those apply to <tt> </tt> as well.