Log of changes on okmij.org

 

January 1, 2023

December 13, 2022

November 1, 2022

October 7, 2022

September 12, 2022

August 8, 2022

 

August 2021 through July 2022

continues in a separate document: ChangeLog-26.html

December 1995 through August 1996

continues in a separate document: ChangeLog-0.html