Page history

Gmelli

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

Gmelli

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

Gmelli

Text replacement - "---- __NOTOC__" to "---- __NOTOC__"

Gmelli

Text replacement - "). * <B>Counter-" to "). ** ... * <B>Counter-"

Maintenance script

ContinuousReplacement

Gmelli

Text replacement - "“" to "“"

EC

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

Gmelli

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

Gmelli

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

Gmelli

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

Gmelli

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

Gmelli

Text replacement - "1===" to "1 ==="

Gmelli

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

Gmelli

Text replacement - "9===" to "9 ==="

Gmelli

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

Gmelli

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

Gmelli

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

Gmelli

no edit summary

Gmelli

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

Gmelli

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

Gmelli

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

Gmelli

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

Gmelli

Text replacement - "** It can be implemented into a " to "** It can be applied by a "

Gmelli

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

Gmelli

Text replacement - "The algorithm " to "The algorithm "

Gmelli

Text replacement - "Claude Sammut. Geoffrey I. Webb. (2011)" to "Claude Sammut, and Geoffrey I. Webb. (2011)"

Gmelli

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

Gmelli

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

Gmelli

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

Gmelli

Text replace - ") => [" to ") ⇒ ["

Gmelli

no edit summary