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/10/1995 02:31:32

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

Modified Files:
	index.html 
Log Message:
start on the description of 1.0