mds - Avant-garde display server

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