Mercurial > hg > Papers > 2017 > ryokka-midterm
graph
-
fix invisible headerThu, 26 Oct 2017 15:04:10 +0900, by ryokka
-
fix midterm.tex, remove aux,dvi,etcThu, 26 Oct 2017 14:35:55 +0900, by ryokka
-
fix Agda,NaturalDeductionThu, 26 Oct 2017 14:21:59 +0900, by ryokka
-
fix hgignoreWed, 25 Oct 2017 18:01:41 +0900, by ryokka
-
fix midtermWed, 25 Oct 2017 17:35:36 +0900, by ryokka
-
fix midtermMon, 16 Oct 2017 23:07:05 +0900, by ryokka
-
first commitMon, 16 Oct 2017 22:54:14 +0900, by ryokka