simon/AToMPM

作者	SHA1 备注	提交日期
Simon Van Mierlo	19ce7d34be added some templates I forgot, and small fix	8 年之前
Simon Van Mierlo	944d9e4a2d removed update button	8 年之前
Simon Van Mierlo	549eb1e86a it's a matter of spelling	9 年之前
Simon Van Mierlo	b29a3f346a added "new formalism" button to main toolbar, which creates a new	9 年之前
Simon Van Mierlo	cdc03fc724 initial commit (v0.5.4)	9 年之前