changeset | c0a6124f436b |
---|---|
branch | default |
bookmark | |
tag | tip |
user | ryokka |
description | delete natural deduction. add CbC,Agda more description |
files | midterm/midterm.pdf midterm/midterm.tex midterm/src/stack.agda.replace |
changeset | 3be2444dacc5 |
---|---|
branch | |
bookmark | |
tag | |
user | ryokka |
description | fix invisible header |
files | midterm/midterm.pdf midterm/midterm.tex |
changeset | 8f91a416343d |
---|---|
branch | |
bookmark | |
tag | |
user | ryokka |
description | fix midterm.tex, remove aux,dvi,etc |
files | midterm/midterm.aux midterm/midterm.bbl midterm/midterm.blg midterm/midterm.dvi midterm/midterm.fdb_latexmk midterm/midterm.fls midterm/midterm.log midterm/midterm.pdf midterm/midterm.tex |
changeset | 0a6686180a13 |
---|---|
branch | |
bookmark | |
tag | |
user | ryokka |
description | fix Agda,NaturalDeduction |
files | README.md final_pre/Makefile final_pre/dummy.tex final_pre/finalPre.aux final_pre/finalPre.bbl final_pre/finalPre.blg final_pre/finalPre.dvi final_pre/finalPre.fdb_latexmk final_pre/finalPre.fls final_pre/finalPre.log |
changeset | c91ffa1c55b1 |
---|---|
branch | |
bookmark | |
tag | |
user | ryokka |
description | fix hgignore |
files | midterm/dummy.tex |
changeset | ead50a89470f |
---|---|
branch | |
bookmark | |
tag | |
user | ryokka |
description | fix midterm |
files | midterm/bussproofs.sty midterm/midterm.aux midterm/midterm.bbl midterm/midterm.blg midterm/midterm.dvi midterm/midterm.fdb_latexmk midterm/midterm.fls midterm/midterm.log midterm/midterm.pdf midterm/midterm.tex |
changeset | d12b2800af6a |
---|---|
branch | |
bookmark | |
tag | |
user | ryokka |
description | fix midterm |
files | midterm/Makefile midterm/dummy.tex midterm/jlisting.sty midterm/midterm.fdb_latexmk midterm/midterm.fls midterm/midterm.tex midterm/picins.sty midterm/reference.bib pic/emblem-bitmap.pdf |
changeset | e43f253ebce5 |
---|---|
branch | |
bookmark | |
tag | |
user | ryokka |
description | first commit |
files | .hgignore README.md final_pre/Makefile final_pre/dummy.tex final_pre/finalPre.aux final_pre/finalPre.bbl final_pre/finalPre.blg final_pre/finalPre.dvi final_pre/finalPre.fdb_latexmk final_pre/finalPre.fls |