Define a primitive data type: Revision history

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.

(newest | oldest) View (newer 50 | ) (20 | 50 | 100 | 250 | 500)

9 December 2023

24 November 2023

18 September 2023

7 September 2023

30 August 2022

26 August 2022

24 May 2022

20 May 2022

20 March 2022

19 March 2022

8 March 2022

6 February 2022

11 January 2022

2 November 2021

7 October 2021

12 July 2021

7 June 2021

25 May 2021

27 April 2021

18 November 2020

16 July 2020

25 May 2020

18 May 2020

14 March 2020

14 September 2019

8 September 2019

18 August 2019

17 July 2019

24 April 2019

(newest | oldest) View (newer 50 | ) (20 | 50 | 100 | 250 | 500)