CWEBbin 2025

• Tuneup for CWEB 4.12.1.
• Fix a few sorting errors in the “Names of the sections”.
• Rename the PDF page dimensions in [pdf]ctwimac.tex.
• Append the “Names of the sections” in CTWILL PDF output.