Gmelli
Text replacement - ". ----" to ". ----"
18:52
+1
Text replacement - "** ..." to "** …"
15:16
Text replacement - "]]. * <B>Counter-Example" to "]]. ** ... * <B>Counter-Example"
04:18
+7
Text replacement - "* '''See:''' " to "* <B>See:</B> "
21:31
no edit summary
18:40
+130
06:50
+18
Maintenance script
Importing converted wikitext
01:23
+94