• 《公式验证器》已升级到v2.72版本
• 2007/12/18

• 《公式验证器》已升级到v2.71版本
• 2006/9/28

• 《公式验证器》已升级到v2.70版本
• 2005/7/18

• 《公式验证器》已升级到v2.68版本
• 2004/3/8

• 《公式验证器》已升级到v2.60版本
• 2003/8/8