Gmelli
Text replacement - ". ---- " to ". ---- "
03:21
+1
Text replacement - "** ..." to "** …"
22:10
Text replacement - "]]. * <B>Counter-Example" to "]]. ** ... * <B>Counter-Example"
02:56
+7
no edit summary
17:51
+49
17:07
+28
17:03
+34
Text replacement - "<B><U>See</U>:</B>" to "<B>See:</B>"
19:00
−7
Text replace - " a [[A" to " an [[A"
22:30
03:26
+271