update the HISTORY and README files