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

Subject: changed WWW docs: 'htdocs/Releases/formal-0.8 index.html'
To: None <www-changes>
From: Chris G. Demetriou <cgd>
List: www-changes
Date: 04/10/1995 03:35:53

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

Modified Files:
	index.html 
Log Message:
tell what _should_ be here.