Version 1.0 was the introductory version of FormalCode, so this list of changes is a list of initial important features.