Page history

Gmelli

no edit summary

Gmelli

Text replacement - " a [[" to " a [["

Gmelli

Text replacement - "\<P\>([\s]{1,7})([^\s])" to "<P> $2"

Gmelli

Text replacement - "([^\s])([\s]{1,7})\<P\>" to "$1 <P>"

Gmelli

Text replacement - ". ----" to ". ----"

Gmelli

Text replacement - "** ..." to "** …"

Gmelli

Text replacement - "]]. * <B>Counter-Example" to "]]. ** ... * <B>Counter-Example"

Gmelli

Text replacement - "]]. * <B>Example" to "]]. ** ... * <B>Example"

Gmelli

Text replacement - "---- == Refe" to "---- == Refe"

Gmelli

Text replacement - "References == * " to "References == * "

Replacement Bot

Remove links to pages that are actually redirects to this page.

Gmelli

Text replacement - " ⇒ " to " ⇒ "

Gmelli

Text replacement - "==References " to "== References "

Gmelli

Text replacement - ". <P>" to ". <P> "

Gmelli

Text replacement - "2===" to "2 ==="

Gmelli

Text replacement - "===20" to "=== 20"

Gmelli

Text replacement - " represented by " to " represented by "

Gmelli

Text replacement - " represented as " to " represented as "

Gmelli

Text replacement - ") => " to ") ⇒ "

Gmelli

no edit summary

Gmelli

no edit summary

Redirect fixer

Fixing double redirect from Tree Data Structure to Tree-based Data Structure.

Maintenance script

Importing converted wikitext