mds - Avant-garde display server

	Commit message (Expand)	Author	Files	Lines
2014-12-04	mds-kbdc: m + add argument count suffix to macro calls during simplification	Mattias Andrée	8	-26/+44
2014-11-30	mds-kbdc: fix nesting inside unordered	Mattias Andrée	2	-2/+171
2014-11-29	mds-kbdc: fix permutation generation	Mattias Andrée	3	-5/+92
2014-11-29	mds-kbdc: only five test cases to go before it's time for the next step	Mattias Andrée	10	-0/+166
2014-11-29	some test files	Mattias Andrée	3	-0/+33
2014-11-28	mds-kbdc: simplification of alternations	Mattias Andrée	3	-0/+73
2014-11-28	m + macro call alternation elimination	Mattias Andrée	4	-0/+115