repositories / ar1516.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
add description
[ar1516.git] / a2 /
2015-11-29 Mart LubbersMerge branch 'master' of ygdrassil:/mnt/data/git/ar1516 tree | commitdiff
2015-11-29 Mart Lubberstry for 3b tree | commitdiff
2015-11-26 Mart Lubbers2 solved tree | commitdiff
2015-11-24 Mart Lubbersupdate for a2e1 tree | commitdiff
2015-11-23 Mart Lubbersstarted with a2 tree | commitdiff
2015-11-10 Mart Lubbersstarted with a2 tree | commitdiff
1516-S1 - NWI-IMC009: Automated Reasoning