../ nm-vax.h,v 14-Aug-2003 22:00 1711 tm-vax.h,v 14-Aug-2003 22:00 1635 tm-vaxbsd.h,v 14-Aug-2003 22:00 1940 vax.mt,v 14-Aug-2003 22:00 513 vaxbsd.mh,v 14-Aug-2003 22:00 905 vaxult.mh,v 14-Aug-2003 22:00 573 vaxult2.mh,v 14-Aug-2003 22:00 574 xm-vax.h,v 14-Aug-2003 22:00 3309 xm-vaxbsd.h,v 14-Aug-2003 22:00 644 xm-vaxult.h,v 14-Aug-2003 22:00 903 xm-vaxult2.h,v 14-Aug-2003 22:00 742