Module Name:	htdocs
Committed By:	soren
Date:		Sat Aug 28 18:14:45 UTC 1999

Modified Files:
	htdocs/Releases/formal-0.8: index.html
	htdocs/Releases/formal-0.9: index.html
	htdocs/Releases/formal-1.0: index.html
	htdocs/Releases/formal-1.1: index.html
	htdocs/Releases/formal-1.2: index.html
	htdocs/Releases/formal-1.3: index.html
	htdocs/Releases/formal-1.4: index.html

Log Message:
Revert accidental link changes.


To generate a diff of this commit:
cvs rdiff -r1.14 -r1.15 htdocs/Releases/formal-0.8/index.html
cvs rdiff -r1.14 -r1.15 htdocs/Releases/formal-0.9/index.html
cvs rdiff -r1.21 -r1.22 htdocs/Releases/formal-1.0/index.html
cvs rdiff -r1.16 -r1.17 htdocs/Releases/formal-1.1/index.html
cvs rdiff -r1.22 -r1.23 htdocs/Releases/formal-1.2/index.html
cvs rdiff -r1.22 -r1.23 htdocs/Releases/formal-1.3/index.html
cvs rdiff -r1.4 -r1.5 htdocs/Releases/formal-1.4/index.html

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