Log of changes on okmij.org

 

October 5, 2024

September 5, 2024

August 1, 2024

July 1, 2024

June 3, 2024

April 11, 2024

April 17, 2024

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