Gmelli
Text replacement - ". ----" to ". ----"
17:03
+1
Text replacement - "** ..." to "** …"
22:32
Text replacement - "]]. * <B>Counter-Example" to "]]. ** ... * <B>Counter-Example"
03:03
+7
Text replacement - "><U>See</U>:" to ">See:"
20:43
−7
Text replacement - "<U>Counter-Example(s)</U>" to "Counter-Example(s)"
16:15
no edit summary
03:41
+386