53 Commits

Author SHA1 Message Date
EthanDeng
20e4921c10 remove texnames, fix toc bug 2019-04-03 18:57:45 +08:00
EthanDeng
baf92783b1 renew 3.06 2019-02-25 00:55:40 +08:00
EthanDeng
1e722f465f renew theorem method 2019-02-18 20:07:44 +08:00