Adding changes to specification

Updated change log in Appendix F based on previous commits