Difference with UNH IOL?

More detailed interop tests between two implementations

Trying to develop automated verification tools

Make verification tools available to the public

Japanese documents will be available as well:-)