Gmelli
Text replacement - ". ----" to ". ----"
22:52
+1
Text replacement - "References == * " to "References == * "
20:31
Text replacement - "“" to "“"
23:17
−4
Maintenance script
ContinuousReplacement
21:43
Text replacement - "(2011)." to "(2011)."
+4
Text replacement - " ⇒ " to " ⇒ "
00:39
−3
Text replacement - "==References " to "== References "
16:47
Text replacement - "). "" to "). “"
21:26
+6
Text replacement - "2===" to "2 ==="
14:59
Text replacement - "===201" to "=== 201"
18:52
no edit summary
20:04
+62
20:03
+2
20:00
+76
Text replacement - "<U>Counter-Example(s):</U>" to "Counter-Example(s):"
00:23
−7
Text replacement - "<U>See</U>" to "See</U>"
00:15
Text replacement - "<U>Context</U>" to "Context</U>"
23:50
Text replacement - "<U>Example(s)</U>" to "Example(s)"
22:47
Text replacement - " ( " to " ("
02:14
−2
Text replace - " a [[A" to " an [[A"
22:37
23:15
+1,802