Status and history for [ike]

See the Github repository for issues and changes in 2023 and after.

History

July 21, 2007		small corrections thanks ot Arthur Reutenauer.
November 3, 2006		stage 4: Unicode version provided by Arthur Reutenauer.
September 4, 2006		stage 2: entered in the index, OHCHR identified as the source.