Page history
22 August 2024
27 February 2024
1 August 2022
24 January 2022
Text replacement - "\. \s+([A-Z][a-z][a-z])" to ". $1"
m−4
Text replacement - "\. [ ]+([A-Z][a-z][a-z])" to ". $1"
m−4
22 January 2022
11 January 2022
Text replacement - "<ref name=[\w\s]{1,20}> <\/ref>" to " "
m−48
Text replacement - "<ref name=[\w]{1,20}\/>" to " "
m−53
18 August 2021
16 August 2021
17 June 2021
8 March 2021
4 March 2021
1 March 2021
22 February 2021
Text replacement - "]]. * <B>Counter-Example" to "]]. ** ... * <B>Counter-Example"
m+7
Text replacement - "]]. * <B>Example" to "]]. ** ... * <B>Example"
m+7
23 December 2019
Remove links to pages that are actually redirects to this page.
m+20
Remove links to pages that are actually redirects to this page.
m+20
15 January 2019
14 October 2018
10 October 2018
14 September 2018
18 August 2018
Text replacement - " — " to " — "
m−20
Text replacement - " — " to " — "
m−20
Text replacement - " — " to " — "
m−20
Text replacement - " — " to " — "
m−20
Text replacement - " — " to " — "
m−20
Text replacement - "—" to " — "
m+20
Text replacement - "—" to " — "
m+20
Text replacement - "—" to " — "
m+20
Text replacement - "—" to " — "
m+20