repositories / ker2014-2.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 2d2fd30 dcbc8a2)
Merge branch 'master' of github.com:dopefishh/ker2014-2
authorMart Lubbers <mart@martlubbers.net>
Mon, 2 Feb 2015 09:17:27 +0000 (10:17 +0100)
committerMart Lubbers <mart@martlubbers.net>
Mon, 2 Feb 2015 09:17:27 +0000 (10:17 +0100)
1  2 
report/ass2-1.tex patch | diff1 | diff2 | blob | history

diff --cc report/ass2-1.tex
Simple merge
1415-S1 - SOW-BKI312: Knowledge representation and reasoning