Module Name:	htdocs
Committed By:	jun
Date:		Mon Dec  4 06:57:28 UTC 2000

Modified Files:
	htdocs/ja: index.html
	htdocs/ja/Changes: index.html index.list
	htdocs/ja/Releases/formal-1.4: index.html
Added Files:
	htdocs/ja/Releases/formal-1.5: index.html

Log Message:
sync from jp.netbsd.org.


To generate a diff of this commit:
cvs rdiff -r1.13 -r1.14 htdocs/ja/index.html
cvs rdiff -r1.7 -r1.8 htdocs/ja/Changes/index.html \
    htdocs/ja/Changes/index.list
cvs rdiff -r1.5 -r1.6 htdocs/ja/Releases/formal-1.4/index.html
cvs rdiff -r0 -r1.1 htdocs/ja/Releases/formal-1.5/index.html

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