Module Name:	htdocs
Committed By:	jschauma
Date:		Wed Jul 24 21:45:03 UTC 2002

Modified Files:
	htdocs/es: index.html
	htdocs/es/Releases/formal-1.5: index.html index.list

Log Message:
Synch with english version (by Julio Merino)


To generate a diff of this commit:
cvs rdiff -r1.31 -r1.32 htdocs/es/index.html
cvs rdiff -r1.1 -r1.2 htdocs/es/Releases/formal-1.5/index.html \
    htdocs/es/Releases/formal-1.5/index.list

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