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