lexical analyzer: Revision history

External tools: Page statistics • Find when text was added/removed


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.

18 October 2024

29 June 2024

16 January 2023

26 May 2017

23 July 2016

27 April 2016

22 January 2016

21 October 2015

9 August 2015

24 July 2015

13 March 2014

8 October 2013

19 June 2013

6 June 2013

17 October 2012

5 October 2012

4 October 2012

31 August 2012

3 September 2011

18 August 2009

11 October 2007