Davide P. Cervone 45817c1519 merge branch 'develop' into more-menu (fix conflicts with Volker's changes)		2015-09-14 07:27:21 -04:00
..
element/mml	Merge branch 'chtml' into develop. Issue #1051.	2015-09-01 08:13:11 -04:00
input	Update AsciiMath to current version. Issue #1247.	2015-09-03 09:39:55 -04:00
output	merge branch 'develop' into more-menu (fix conflicts with Volker's changes)	2015-09-14 07:27:21 -04:00