设计并编码半模态（僵化态）；简化删除历史条目操作；其它小修订。