Derbyshire place-names: Revision history

From International Robin Hood Bibliography

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

27 May 2022

  • curprev 05:0605:06, 27 May 2022Henryfunk talk contribsm 3,765 bytes −18 Text replacement - "{{Page data|PageName={{PAGENAME}}|Cat1=Items|Cat2=English counties with place-names|Cat3=Place-names-topics}}" to "{{Page data|PageName={{PAGENAME}}|Cat1=Place-names|Cat2=English counties with place-names}}"

23 May 2022

17 May 2022

15 May 2022

28 January 2021

8 January 2021

7 January 2021

5 January 2021

17 May 2020

19 May 2019

6 April 2019

20 October 2018

23 September 2018

24 July 2018

12 July 2018

26 December 2017

18 December 2017

4 December 2017

27 October 2017

7 October 2017

22 September 2017

16 June 2017

  • curprev 21:4421:44, 16 June 2017Henryfunk talk contribsm 3,848 bytes −2,334 No edit summary
  • curprev 14:4514:45, 16 June 2017Henryfunk talk contribsm 6,182 bytes +85 Text replacement - "=== All localities === {{#ask: [[Category:{{PAGENAME}}]]|format=count}} place-names and localities. <div class="century">" to "=== All localities === {{#vardefine:allpns|{{#ask: [[Category:{{PAGENAME}}]]|format=count}}}}{{#var:allpns}} {{#ifeq:{{#var:allpns}}|1|place-name/locality|place-names and localities}}. <div class="century">"
  • curprev 14:3414:34, 16 June 2017Henryfunk talk contribsm 6,097 bytes +77 Text replacement - "=== All localities === <div class="century">" to "=== All localities === {{#ask: [[Category:{{PAGENAME}}]]|format=count}} place-names and localities. <div class="century">"
  • curprev 14:3014:30, 16 June 2017Henryfunk talk contribsm 6,020 bytes +82 Text replacement - "==== Unknown century ==== Robin Hood-related place-names whose century of first occurrence is unknown." to "==== Unknown century ==== {{#ask:[[Category:{{PAGENAME}}]] AND Category:Unknown century| format=count}} Robin Hood-related place-names whose century of first occurrence is unknown."

13 June 2017

6 June 2017

8 May 2017