Gmelli
Text replacement - ". " to ". "
12:24
−1
Text replacement - ". ----" to ". ----"
18:40
+1
Text replacement - "** ..." to "** …"
15:16
Text replacement - "]]. * <B>Counter-Example" to "]]. ** ... * <B>Counter-Example"
04:18
+7
Text replacement - "System]] (that applies a " to "System (that implements a [["
04:47
+3
Text replacement - " “" to " “"
23:03
−8
Maintenance script
ContinuousReplacement
21:31
Text replacement - "(1998)." to "(1998)."
+4
Text replacement - "]." In:" to "].” In:"
14:36
+2
Text replacement - "==References " to "== References "
01:08
Text replacement - "). "" to "). “"
21:16
+6
Text replacement - " ``" to " “"
19:43
+5
Text replacement - "8===" to "8 ==="
19:53
Text replacement - "===19" to "=== 19"
22:25
no edit summary
12:30
+21
20:44
+587
Text replacement - "(that implements a [[" to "(that applies a [["
18:44
−3
19:32
Text replacement - "><U>See</U>:" to ">See:"
21:56
−7
Text replacement - "<U>Example(s)</U>" to "Example(s)"
21:45
16:38
+43
00:50
+104
03:56
+437