mds - Avant-garde display server

	Commit message (Expand)	Author	Age	Files	Lines
*	mds-kbdc: validate-tree: you can define functions and macros inside assumption-clauses	Mattias Andrée	2014-12-11	2	-0/+44
*	m	Mattias Andrée	2014-12-11	1	-0/+0
*	add test for multiple assumption-clauses	Mattias Andrée	2014-12-11	1	-0/+26
*	mds-kbdc: m + add argument count suffix to macro calls during simplification	Mattias Andrée	2014-12-04	2	-2/+2
*	mds-kbdc: more test cases	Mattias Andrée	2014-12-01	4	-0/+50
*	mds-kbdc: m + more test cases	Mattias Andrée	2014-12-01	7	-0/+87