Update of /a/cvsroot/htdocs/Releases/formal-1.0 In directory pain.lcs.mit.edu:/b/tmp/cvs-serv3045/Releases/formal-1.0 Modified Files: hp300.html i386.html index.html mac68k.html pc532.html Log Message: $Id: $ -> $NetBSD: $ where applicable. Add strings where missing.