repositories / ar1516.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
ar1516.git
2016-01-02 Mart Lubbersbig update, better formalization for pegsol commit | commitdiff | tree | snapshot
2016-01-01 Mart Lubbersadd solution a4 commit | commitdiff | tree | snapshot
2015-12-24 Mart Lubberspretty solution' commit | commitdiff | tree | snapshot
2015-12-23 Mart Lubberssuccess with 4:) commit | commitdiff | tree | snapshot
2015-12-22 Mart Lubbersupdate commit | commitdiff | tree | snapshot
2015-12-16 Mart Lubbersup commit | commitdiff | tree | snapshot
2015-12-16 Mart Lubbersupdate code' commit | commitdiff | tree | snapshot
2015-12-15 Mart Lubberssome update' commit | commitdiff | tree | snapshot
2015-12-04 Mart LubbersMerge branch 'master' of ygdrassil_git:ar1516 commit | commitdiff | tree | snapshot
2015-12-04 Mart Lubberssmall update commit | commitdiff | tree | snapshot
2015-11-29 Mart Lubbersadd description commit | commitdiff | tree | snapshot
2015-11-29 Mart LubbersMerge branch 'master' of ygdrassil:/mnt/data/git/ar1516 commit | commitdiff | tree | snapshot
2015-11-29 Mart Lubberstry for 3b commit | commitdiff | tree | snapshot
2015-11-27 Mart Lubberslicence added commit | commitdiff | tree | snapshot
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