Log of changes on okmij.org

 

May 11, 2023

April 8, 2023

March 7, 2023

February 11, 2023

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