Gmelli
Text replacement - ". ----" to ". ----"
02:28
+1
Text replacement - "** ..." to "** …"
23:29
Text replacement - "]. * <B>Counter" to "]. ** ... * <B>Counter"
21:28
+7
Text replacement - "<U>See</U>" to "See"
18:08
−7
Text replacement - "<U>Example(s)</U>" to "Example(s)"
03:08
Text replacement - "<U>Counter-Example(s)</U>" to "Counter-Example(s)"
03:02
no edit summary
05:01
+474