Module Name:	htdocs
Committed By:	jschauma
Date:		Fri Dec 10 03:16:30 UTC 2004

Modified Files:
	htdocs/Changes: index.html
	htdocs/Releases/formal-2.0: index.html
	htdocs/de/Changes: index.html
	htdocs/de/Releases/formal-2.0: index.html

Log Message:
regen


To generate a diff of this commit:
cvs rdiff -r1.1114 -r1.1115 htdocs/Changes/index.html
cvs rdiff -r1.4 -r1.5 htdocs/Releases/formal-2.0/index.html
cvs rdiff -r1.284 -r1.285 htdocs/de/Changes/index.html
cvs rdiff -r1.5 -r1.6 htdocs/de/Releases/formal-2.0/index.html

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