Dear all,
Since this was buried in an earlier posting, may I repeat that the annotations to ADA 1.25 have been added to ADAonline, at http://www.ada.auckland.ac.nz/.
Brian Boyd
Search the Nabokv-L archive with Google
All private editorial communications, without exception, are read by both co-editors.