Documented the support for object serialization and the option for backward compatibility.

Documented the methods to select the version of the token instruction set to be used by the translator and the virtual runtime.

Renaming to SoftNaos

Replaced the class path by the application, library, and system paths.

Added a section about the Ant task dependencies.

Added the enabled parameter to annotations and a section on markers files.

Documented the secure call graph builder tool.

Added a reference to the runtime that interfaces with the actual coprocessor.

Added support for byte, short and enum types.