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