Gmelli
Text replacement - "]]↵*" to "]]. *"
18:41
+1
Text replacement - "]] ** " to "]]. ** "
13:55
Text replacement - ". ----" to ". ----"
21:27
Text replacement - "** ..." to "** …"
15:17
Text replacement - "]]. * <B>Counter-Example" to "]]. ** ... * <B>Counter-Example"
04:19
+7
Text replacement - "<U>See</U>" to "See</U>"
22:22
−3
Text replacement - "<U>Example(s)</U>" to "Example(s)"
22:09
−7
no edit summary
18:36
+114
04:05
+380