Module Name:	htdocs
Committed By:	keihan
Date:		Wed Jul  3 09:33:53 UTC 2002

Modified Files:
	htdocs/se: index.html
Added Files:
	htdocs/se/Releases/formal-1.5: Makefile index.html index.list

Log Message:
Add formal-1.5 and fix link to it from main index.html

NetBSD-1.5.3 release announcement coming up soon...


To generate a diff of this commit:
cvs rdiff -r1.20 -r1.21 htdocs/se/index.html
cvs rdiff -r0 -r1.1 htdocs/se/Releases/formal-1.5/Makefile \
    htdocs/se/Releases/formal-1.5/index.html \
    htdocs/se/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.