https://git.martlubbers.net - ar1516.git/search

2015-12-04	Mart Lubbers	Merge branch 'master' of ygdrassil_git:ar1516	commit \| commitdiff \| tree
2015-12-04	Mart Lubbers	small update	commit \| commitdiff \| tree
2015-11-29	Mart Lubbers	add description	commit \| commitdiff \| tree
2015-11-29	Mart Lubbers	Merge branch 'master' of ygdrassil:/mnt/data/git/ar1516	commit \| commitdiff \| tree
2015-11-29	Mart Lubbers	try for 3b	commit \| commitdiff \| tree
2015-11-27	Mart Lubbers	licence added	commit \| commitdiff \| tree
2015-11-26	Mart Lubbers	2 solved	commit \| commitdiff \| tree
2015-11-24	Mart Lubbers	update for a2e1	commit \| commitdiff \| tree
2015-11-23	Mart Lubbers	started with a2	commit \| commitdiff \| tree
2015-11-10	Mart Lubbers	started with a2	commit \| commitdiff \| tree
2015-10-30	Mart Lubbers	final commit	commit \| commitdiff \| tree
2015-10-29	Mart Lubbers	update	commit \| commitdiff \| tree
2015-10-27	Mart Lubbers	update README typo	commit \| commitdiff \| tree
2015-10-26	Mart Lubbers	remove typo	commit \| commitdiff \| tree
2015-10-26	Mart Lubbers	update, now final	commit \| commitdiff \| tree
2015-10-26	Mart Lubbers	final bijna	commit \| commitdiff \| tree
2015-10-26	Mart Lubbers	update	commit \| commitdiff \| tree
2015-10-26	Mart Lubbers	update requirements	commit \| commitdiff \| tree
2015-10-26	Mart Lubbers	update with dynamic solution for problem 1	commit \| commitdiff \| tree
2015-10-26	Mart Lubbers	typo readme	commit \| commitdiff \| tree
2015-10-26	Mart Lubbers	initial commit, transfer from own repo	commit \| commitdiff \| tree

1516-S1 - NWI-IMC009: Automated Reasoning