Log of changes on okmij.org

 

March 7, 2024

February 14, 2024

January 1, 2024

December 1, 2023

November 3, 2023

October 5, 2023

September 19, 2023

August 11, 2023

 

August 2022 through July 2023

continues in a separate document: ChangeLog-27.html

December 1995 through August 1996

continues in a separate document: ChangeLog-0.html