我们当前正在解析该规范的 TeX 源代码，以便生成更现代的 CLHS 版本。

这可能需要一些时间。