repositories / ar1516.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(initial) | patch
initial commit, transfer from own repo
authorMart Lubbers <mart@martlubbers.net>
Mon, 26 Oct 2015 14:32:32 +0000 (15:32 +0100)
committerMart Lubbers <mart@martlubbers.net>
Mon, 26 Oct 2015 14:32:32 +0000 (15:32 +0100)
commit4eaa9c4aa694d8bab2cb202bda57c434db1fe142
treee82bb7d5a7d9a86fe4adb7b0adfbaedb82277ba5tree | snapshot
initial commit, transfer from own repo
16 files changed:
.gitignore [new file with mode: 0644] blob
1.tex [new file with mode: 0644] blob
2.tex [new file with mode: 0644] blob
3.tex [new file with mode: 0644] blob
4.tex [new file with mode: 0644] blob
Makefile [new file with mode: 0644] blob
README.md [new file with mode: 0644] blob
a.tex [new file with mode: 0644] blob
ar.tex [new file with mode: 0644] blob
preamble.tex [new file with mode: 0644] blob
src/a1.bash [new file with mode: 0644] blob
src/a1.smt [new file with mode: 0644] blob
src/a2.bash [new file with mode: 0644] blob
src/a2.py [new file with mode: 0644] blob
src/a3.bash [new file with mode: 0644] blob
src/a4.bash [new file with mode: 0644] blob
1516-S1 - NWI-IMC009: Automated Reasoning