Gmelli
Text replacement - "]]↵*" to "]]. *"
18:41
+1
Text replacement - "]] ** " to "]]. ** "
18:30
Text replacement - ". ----" to ". ----"
22:52
Text replacement - "\<P\>([\s]{1,7})([^\s])" to "<P> $2"
15:19
+3
Text replacement - "([^\s])([\s]{1,7})\<P\>" to "$1 <P>"
19:31
+4
Text replacement - "---- == Refe" to "---- == Refe"
18:36
Text replacement - " ⇒ " to " ⇒ "
00:41
−3
Text replacement - "==References " to "== References "
16:47
Text replacement - "1===" to "1 ==="
01:32
Text replacement - "===201" to "=== 201"
18:53
no edit summary
20:12
−33
Text replacement - "l''' " to "l</B> "
19:32
Text replacement - " [[" to " [["
06:36
−1
05:12
+27
05:07
+54
Text replacement - " a [[" to " a [["
14:18
Text replacement - "<U>Counter-Example(s):</U>" to "Counter-Example(s):"
00:22
−7
Text replacement - "<U>See</U>" to "See</U>"
00:18
Text replacement - "<U>Context</U>" to "Context</U>"
23:50
Text replacement - "<U>Example(s)</U>" to "Example(s)"
22:48
20:06
−9
20:04
20:03
06:02
+31
21:51
+3,909