Page History

View, compare, or restore historical versions of this page. Older versions may be automatically deleted based on rules set by your administrator.

Version	Published	Changed By	Comment
CURRENT (v. 9)	2021-Aug-20, 12:54	Yongsheng Gao
v. 8	2021-Mar-19, 20:37	Bruce Goldberg
v. 7	2021-Mar-15, 11:22	Yongsheng Gao
v. 6	2021-Jan-08, 17:06	Bruce Goldberg
v. 5	2021-Jan-08, 12:21	Yongsheng Gao
v. 4	2021-Jan-08, 10:31	Yongsheng Gao	Added two GCI axioms in the template, changed existing axiom and format, updated the template language
v. 3	2020-Oct-29, 14:00	Yongsheng Gao	Added meta info for status and version
v. 2	2020-May-19, 16:00	Bruce Goldberg
v. 1	2019-Dec-27, 23:43	Bruce Goldberg

Page tree