Log of changes on okmij.org

 

September 12, 2022

August 8, 2022

July 12, 2022

June 6, 2022

May 3, 2022

April 2, 2022

March 9, 2022

February 1, 2022

January 1, 2022

December 3, 2021

November 3, 2021

October 7, 2021

September 11, 2021

August 7, 2021

 

August 2020 through July 2021

continues in a separate document: ChangeLog-25.html

December 1995 through August 1996

continues in a separate document: ChangeLog-0.html