+

+ Updated the FLL specifications and made them available on the website. +

+

+ Basic styling is applied to make the specifications reasonably readable on a website. I avoided doing any complicated designs so that I can focus on other tasks (such as making a stable release). I took a shortcut on the example results by using the <pre> tag. +

+

+ Only the main FLL specification pages are updated. The specifications (or links to specifications) on the programs pages have not been updated. There is still quite a lot to do in regards to documenting the programs. +

+

+ Several mistakes on the website, such as incorrect canonical addresses, are now fixed. +

+

+ I have also added an informal definition of my Completeness Theorem that I always used for just about all of my personal work. This has been in use by the FLL since I first started working on it. I believe that I just never formally (or informally) wrote down my theory (I believe that the concepts for this were touched on in my thesis). +

+

+ Kevin Day +

+