On 15-Oct-2008, David Bateman wrote: | In any case before committing this changeset, it would be good if I | could have some comments, or improvements. The oop.txi file seems to be missing from the changeset. jwe