Module Name:	htdocs
Committed By:	jschauma
Date:		Mon May 27 16:14:32 UTC 2002

Modified Files:
	htdocs/pl: index.html list2html.pl
	htdocs/pl/Releases/formal-1.5: index.html index.list
Added Files:
	htdocs/pl: Makefile makeindex.sh

Log Message:
Latest updates and changes from Dawid Szymanski
(dawszy at tgr dot lubine dot du dot pl) - thanks a bunch!


To generate a diff of this commit:
cvs rdiff -r0 -r1.1 htdocs/pl/Makefile htdocs/pl/makeindex.sh
cvs rdiff -r1.8 -r1.9 htdocs/pl/index.html
cvs rdiff -r1.2 -r1.3 htdocs/pl/list2html.pl
cvs rdiff -r1.1 -r1.2 htdocs/pl/Releases/formal-1.5/index.html
cvs rdiff -r1.2 -r1.3 htdocs/pl/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.