Gmelli
Text replacement - ". ----" to ". ----"
01:00
+1
Text replacement - "** ..." to "** …"
15:18
Text replacement - "]. * <B>Counter" to "]. ** ... * <B>Counter"
20:45
+7
Text replacement - "<U>See</U>" to "See</U>"
23:17
−3
Text replacement - "<U>Example(s)</U>" to "Example(s)"
22:25
−7
Text replacement - "<U>Counter-Example(s)</U>" to "Counter-Example(s)"
16:54
no edit summary
04:14
+765