Gmelli
Text replacement - "<P> " to "<P> "
18:19
−10
Text replacement - ". ----" to ". ----"
21:27
+1
Text replacement - "\<P\>([\s]{1,7})([^\s])" to "<P> $2"
00:30
+4
Text replacement - "([^\s])([\s]{1,7})\<P\>" to "$1 <P>"
18:39
+12
Text replacement - "---- __NOTOC__" to "---- __NOTOC__"
13:50
Text replacement - "Category:Concept __NOTOC__" to "__NOTOC__ Category:Concept"
21:36
Text replacement - "** ..." to "** …"
15:17
Text replacement - "]]. * <B>Counter-Example" to "]]. ** ... * <B>Counter-Example"
04:19
+7
Text replacement - "---- == Refe" to "---- == Refe"
03:25
Text replacement - "==References==" to "== References =="
21:55
+2
Text replacement - " ⇒ " to " ⇒ "
00:43
−3
Text replacement - ". <P>" to ". <P> "
20:17
+28
Text replacement - "e''' " to "e</B> "
03:37
no edit summary
21:00
−33
20:58
+1,849
06:52
+18
Maintenance script
Importing converted wikitext
04:05
+124