simon/AToMPM

작성자	SHA1 메시지	날짜
vasco	a5be6a8769 update	8 년 전
Simon Van Mierlo	b29a3f346a added "new formalism" button to main toolbar, which creates a new	9 년 전
Simon Van Mierlo	c0e84c5dd5 added file management operations to file browser	9 년 전
Simon Van Mierlo	cdc03fc724 initial commit (v0.5.4)	9 년 전