Gmelli
Text replacement - ". ----" to ". ----"
20:55
+1
Text replacement - "** ..." to "** …"
22:40
Text replacement - "]. * <B>Counter" to "]. ** ... * <B>Counter"
20:57
+7
Text replacement - "<U>See</U>" to "See"
08:16
−7
Text replacement - "<U>Example(s)</U>" to "Example(s)"
02:40
Text replacement - "<U>Counter-Example(s)</U>" to "Counter-Example(s)"
02:41
no edit summary
04:49
+505