State of Implementation

The current state of implementation reflects the exploratory nature of the project. It has been tested on one platform, with a few simple proofs, and appears to hold up well. However, more thorough analysis of the code is needed, to pinpoint any simple errors such as memory leaks. Igloo comprises approximately four and a half thousand lines of C++ code, which is expected to fluctuate as I move towards a version suitable for release. Additional features will add a lot of code, but minor rewriting is needed for many other sections of code, which should remove a lot of cruft.

The SRP authentication is in the process of being rewritten to remove the restrictions of the TinySRP distribution. This is not a major concern, since the authentication should be nearly transparent to the operation of the rest of the program.

Recent development versions of wxWindows are able to be compiled with unicode support, and should therefore be able to display some of the Isabelle symbols (\ for example) slightly closer to the way the X-Symbol package for XEmacs does things. The restriction of text labels in the wxTreeCtrl class (used for the tree of proof states) to a single line will prevent more complex equations from displaying nicely.

Until the Isabelle PGIP patch is released, Igloo will remain in a prototypical state. In the meantime, there are plenty of loose ends that will be tied up and sharp edges to soften.