repositories / ar1516.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 05b0d18) | patch
success with 4:)
authorMart Lubbers <mart@martlubbers.net>
Wed, 23 Dec 2015 16:16:25 +0000 (17:16 +0100)
committerMart Lubbers <mart@martlubbers.net>
Wed, 23 Dec 2015 16:16:25 +0000 (17:16 +0100)
commite8ae2d2ff67ae26b7aa020cb0d88c8bbadab9470
treeacfca67fedec43a9992ba60d63b282aee9a85ef9tree | snapshot
parent05b0d18d2bc7c8ea54c7e093089e199af8bbc8afcommit | diff
success with 4:)
a2/2.tex diff | blob | history
a2/4.tex diff | blob | history
a2/ar.tex diff | blob | history
a2/pre.tex diff | blob | history
a2/src/4.py [deleted file] blob | history
a2/src/4.smv [deleted file] blob | history
a2/src/4/4.model [new file with mode: 0644] blob
a2/src/4/a4.py [new file with mode: 0644] blob
a2/src/4/print4.py [new file with mode: 0644] blob
1516-S1 - NWI-IMC009: Automated Reasoning