Module Name:	htdocs
Committed By:	dent
Date:		Sat Sep  9 21:38:15 UTC 2000

Modified Files:
	htdocs/Releases: current.html index.html tracking-current.html
	htdocs/Releases/formal-0.8: index.html
	htdocs/Releases/formal-0.9: index.html

Log Message:
Start clean up of Releases directory.


To generate a diff of this commit:
cvs rdiff -r1.30 -r1.31 htdocs/Releases/current.html
cvs rdiff -r1.20 -r1.21 htdocs/Releases/index.html
cvs rdiff -r1.10 -r1.11 htdocs/Releases/tracking-current.html
cvs rdiff -r1.16 -r1.17 htdocs/Releases/formal-0.8/index.html
cvs rdiff -r1.16 -r1.17 htdocs/Releases/formal-0.9/index.html

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.