Page history

Gmelli

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

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 " <B>[["

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 - " “" to " “"

Maintenance script

ContinuousReplacement

Gmelli

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

Gmelli

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

Gmelli

Text replacement - " ⇒ " to " ⇒ "

EC

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

Gmelli

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

Gmelli

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

Gmelli

Text replacement - "7===" to "7 ==="

Gmelli

Text replacement - "===19" to "=== 19"

Gmelli

Text replacement - "'''." to "</B>."

Gmelli

Text replacement - "e''' " to "e</B> "

Gmelli

Text replacement - "7]]) ⇒ " to "7]]) ⇒ "

Gmelli

Text replacement - "& al, " to "et al., "

Gmelli

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

Gmelli

Text replacement - "><U>See</U>:" to ">See:"

Gmelli

Text replacement - "<U>Example(s)</U>" to "Example(s)"

Gmelli

Text replacement - "<U>Counter-Example(s)</U>" to "Counter-Example(s)"

Gmelli

→‎References

Gmelli

no edit summary