repositories / ar1516.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 925fe29) | patch
big update, better formalization for pegsol
authorMart Lubbers <mart@martlubbers.net>
Sat, 2 Jan 2016 18:51:38 +0000 (19:51 +0100)
committerMart Lubbers <mart@martlubbers.net>
Sat, 2 Jan 2016 18:51:38 +0000 (19:51 +0100)
commit08b8ab611e95ff12bef42f9863a76b75b3ecab51
treeaceac4061903072694c05c7e39635593541a7cc2tree | snapshot
parent925fe29c2bae51f5d883226c1460a3c1777b4ed9commit | diff
big update, better formalization for pegsol
14 files changed:
a2/1.tex diff | blob | history
a2/3.tex diff | blob | history
a2/4.model [new file with mode: 0644] blob
a2/4.tex diff | blob | history
a2/ar.tex diff | blob | history
a2/board.jpg [new file with mode: 0644] blob
a2/pre.tex diff | blob | history
a2/src/1.bak [new file with mode: 0644] blob
a2/src/1.bash [deleted file] blob | history
a2/src/1a.bash [new file with mode: 0755] blob
a2/src/1b.bash [new file with mode: 0755] blob
a2/src/4/4.model diff | blob | history
a2/src/4/4.model.bak [new file with mode: 0644] blob
a2/src/4/a4.py diff | blob | history
1516-S1 - NWI-IMC009: Automated Reasoning