Gmelli
Text replacement - ". ----" to ". ----"
01:02
+1
Text replacement - "** ..." to "** …"
18:17
Text replacement - "). * <B>Counter-" to "). ** ... * <B>Counter-"
20:16
+7
Text replacement - "<U>See</U>" to "See</U>"
23:33
−3
Text replacement - "<U>Example(s)</U>" to "Example(s)"
22:31
−7
Text replacement - "<U>Counter-Example(s)</U>" to "Counter-Example(s)"
16:59
no edit summary
04:15
+342