EN:Highlighting: 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.

22 July 2022

27 January 2022

9 November 2021

16 July 2019

29 April 2018

4 April 2018

22 March 2018

  • curprev 18:3718:37, 22 March 2018Florian talk contribs 2,394 bytes +2,394 Created page with "The highlighting is used to group terms and create synonym groups.<br /> Different colours can be assigned to the different groups.<br /> This way specific terms can be highli..."