2 commits

Author	SHA1	Message	Date
tecosaur	905ccfd632	Add proof-related yasnippets	2020-03-18 01:16:39 +08:00
tecosaur	bd04ffe51f	Add default file templates for org and LaTeX	2020-02-17 08:25:16 +08:00