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: Phil Nelson <phil>
List: www-changes
Date: 04/13/1995 01:37:29

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

Modified Files:
	index.html 
Log Message:
Added pc532 1.0 formal and a short pc532 hardware description.