repositories / ar1516.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
ar1516.git
2015-11-26 Mart Lubbers2 solved commit | commitdiff | tree | snapshot
2015-11-24 Mart Lubbersupdate for a2e1 commit | commitdiff | tree | snapshot
2015-11-23 Mart Lubbersstarted with a2 commit | commitdiff | tree | snapshot
2015-11-10 Mart Lubbersstarted with a2 commit | commitdiff | tree | snapshot
2015-10-30 Mart Lubbersfinal commit commit | commitdiff | tree | snapshot
2015-10-29 Mart Lubbersupdate commit | commitdiff | tree | snapshot
2015-10-27 Mart Lubbersupdate README typo commit | commitdiff | tree | snapshot
2015-10-26 Mart Lubbersremove typo commit | commitdiff | tree | snapshot
2015-10-26 Mart Lubbersupdate, now final commit | commitdiff | tree | snapshot
2015-10-26 Mart Lubbersfinal bijna commit | commitdiff | tree | snapshot
2015-10-26 Mart Lubbersupdate commit | commitdiff | tree | snapshot
2015-10-26 Mart Lubbersupdate requirements commit | commitdiff | tree | snapshot
2015-10-26 Mart Lubbersupdate with dynamic solution for problem 1 commit | commitdiff | tree | snapshot
2015-10-26 Mart Lubberstypo readme commit | commitdiff | tree | snapshot
2015-10-26 Mart Lubbersinitial commit, transfer from own repo commit | commitdiff | tree | snapshot
1516-S1 - NWI-IMC009: Automated Reasoning