Gmelli
Text replacement - ". ----" to ". ----"
18:52
+1
Text replacement - "** ..." to "** …"
15:16
Text replacement - "]]. * <B>Counter-Example" to "]]. ** ... * <B>Counter-Example"
04:18
+7
Omoreira
no edit summary
01:09
+18
Maintenance script
ContinuousReplacement
02:51
Created page with "An LREC-2020 Conference was an LREC Conference that will take place in 2020. * <B>Counter-Example(s):</B> ** LREC-2018, LREC-2022 * <B>See:</B> LREC Proc..."
+318
