List view
1. 弹性输出封面作者信息，避免缺少信息导致报错； 2. 封面改为自选，也即允许用户使用定制封面 PDF。
Overdue by 6 year(s)•Due by January 25, 2020•1/1 issues closed为定理环境提供 cref 支持
Overdue by 6 year(s)•Due by December 31, 2019•1/1 issues closed
1. 弹性输出封面作者信息，避免缺少信息导致报错； 2. 封面改为自选，也即允许用户使用定制封面 PDF。
为定理环境提供 cref 支持