Module Name: htdocs Committed By: martin Date: Tue May 14 12:27:19 UTC 2024 Modified Files: htdocs/releases: formal.html Log Message: regen To generate a diff of this commit: cvs rdiff -u -r1.133 -r1.134 htdocs/releases/formal.html Please note that diffs are not public domain; they are subject to the copyright notices on the relevant files.