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