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