Gmelli
Text replacement - "<P> " to "<P> "
18:19
−15
Text replacement - ". ----" to ". ----"
18:53
+1
Text replacement - "\<P\>([\s]{1,7})([^\s])" to "<P> $2"
00:30
+8
Text replacement - "([^\s])([\s]{1,7})\<P\>" to "$1 <P>"
18:39
+13
Text replacement - "---- __NOTOC__" to "---- __NOTOC__"
13:48
Text replacement - "** ..." to "** …"
15:16
Text replacement - "]]. * <B>Counter-Example" to "]]. ** ... * <B>Counter-Example"
04:18
+7
Text replacement - ". __N" to ". ---- __N"
17:20
+5
Text replacement - "---- == Refe" to "---- == Refe"
03:24
Text replacement - "==References==" to "== References =="
21:54
+2
Text replacement - ". <P>" to ". <P> "
20:22
+11
20:21
+24
Text replacement - "3===" to "3 ==="
19:25
Text replacement - "===20" to "=== 20"
10:59
Text replacement - "]] technique" to " technique]]"
13:36
Text replacement - "g''' " to "g</B> "
19:31
Text replacement - " [[" to " [["
07:05
−1
Text replacement - " it." to " it."
20:58
+4
no edit summary
06:05
−46
Text replacement - "<U>See</U>" to "See</U>"
22:14
−3
Text replacement - "<U>Context</U>" to "Context</U>"
23:09
Text replacement - "<U>Example(s)</U>" to "Example(s)"
22:06
−7
Text replacement - "<U>Counter-Example(s)</U>" to "Counter-Example(s)"
16:41
Text replacement - "<B><U>AKA</U>:</B>" to "<B>AKA:</B>"
14:32
Text replace - "* https://en.wik" to "* http://en.wik"
21:04
03:14
+47
03:10
+1,350
04:04
+735