repositories / ar1516.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7dbc852) | patch
cleaned up and finished 1-3
authorMart Lubbers <mart@martlubbers.net>
Mon, 4 Jan 2016 10:37:15 +0000 (11:37 +0100)
committerMart Lubbers <mart@martlubbers.net>
Mon, 4 Jan 2016 10:37:15 +0000 (11:37 +0100)
commitf3eb67d340f8e00feebef1d58acc854772783337
tree42b91b9dfe9daa8b12ac20e297cc4ea3e8f863b0tree | snapshot
parent7dbc852d705b48cbb7f810175976e027fe1a87c1commit | diff
cleaned up and finished 1-3
a2/1.tex diff | blob | history
a2/2.tex diff | blob | history
a2/3.tex diff | blob | history
a2/pre.tex diff | blob | history
a2/src/1c.bash diff | blob | history
1516-S1 - NWI-IMC009: Automated Reasoning