Gmelli
Text replacement - ". ---- " to ". ---- "
02:38
+1
Text replacement - "** ..." to "** …"
20:30
Text replacement - "]]. * <B>Counter-Example" to "]]. ** ... * <B>Counter-Example"
02:52
+7
Text replacement - "---- ---- ==" to "---- ---- =="
23:22
Text replacement - "==References==" to "== References =="
18:04
+2
Text replacement - "]." In:" to "].” In:"
14:08
Text replacement - "4===" to "4 ==="
23:18
Text replacement - "]). "" to "]). “"
08:17
Text replacement - "4]]) ⇒ " to "4]]) ⇒ "
01:28
−3
Text replacement - "===201" to "=== 201"
06:32
Text replacement - "& al, " to "et al., "
00:40
Text replacement - "<B><U>See</U>:</B>" to "<B>See:</B>"
18:10
−7
no edit summary
14:11
+551
03:14
+166