Page history

Gmelli

Text replacement - "]] " to "]] "

Gmelli

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

Gmelli

Text replacement - "]]↵*" to "]]. *"

Gmelli

Text replacement - "]] ** " to "]]. ** "

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" to ". ** ... * <B>Counter"

Gmelli

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

Gmelli

Text replacement - " “" to " “"

Maintenance script

ContinuousReplacement

Gmelli

Text replacement - "(2003)." to "(2003)."

Gmelli

Text replacement - " ⇒ " to " ⇒ "

Gmelli

Text replacement - "]." In:" to "].” In:"

Gmelli

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

Gmelli

Text replacement - ") ⇒ [" to ") ⇒ ["

Gmelli

Text replacement - "]] ," to ", [["

Gmelli

Text replacement - ", [[" to ", [["

Gmelli

Text replacement - "e]]] " to "e]] "

Gmelli

Text replacement - "=== 2017B" to "=== 2017b"

Gmelli

Text replacement - "=== 2017A" to "=== 2017a"

Gmelli

Text replacement - "). "[" to "). “["

Omoreira

no edit summary

Omoreira

no edit summary

Gmelli

Text replacement - "]). "" to "]). “"

Gmelli

Text replacement - " <B><U>Context</U>:</B>" to " <B>Context</U>:</B>"

Gmelli

Text replace - " (2007)" to " (2007)"