Log of changes on okmij.org

 

February 13, 2025

January 1, 2025

December 7, 2024

November 5, 2024

October 5, 2024

September 5, 2024

August 1, 2024

 

August 2023 through July 2024

continues in a separate document: ChangeLog-28.html

December 1995 through August 1996

continues in a separate document: ChangeLog-0.html