Update of /a/cvsroot/htdocs/Releases/formal-1.0 In directory pain.lcs.mit.edu:/b/tmp/cvs-serv9351/formal-1.0 Modified Files: index.html Added Files: amiga.html Log Message: add release pages for amiga