www-changes: changed WWW docs: 'htdocs/Releases/formal-1.1

Subject: changed WWW docs: 'htdocs/Releases/formal-1.1 - New directory'
To: None <www-changes>
From: Phil Nelson <phil>
List: www-changes
Date: 11/30/1995 17:39:55

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

Log Message:
Directory /a/cvsroot/htdocs/Releases/formal-1.1 added to the repository