www-changes: changed WWW docs: 'htdocs/Releases/formal-1.0 index.html'

Subject: changed WWW docs: 'htdocs/Releases/formal-1.0 index.html'
To: None <www-changes>
From: Chris G. Demetriou <cgd>
List: www-changes
Date: 04/12/1995 18:09:30

Update of /a/cvsroot/htdocs/Releases/formal-1.0
In directory pain.lcs.mit.edu:/b/tmp/cvs-serv9538

Modified Files:
	index.html 
Log Message:
reword slightly to disambiguate; suggested by charles.