Mercurial > hg > Papers > 2020 > ryokka-master
log
| age | author | description |
|---|---|---|
| Thu, 06 Feb 2020 21:49:08 +0900 | ryokka | fix hoare.tex |
| Thu, 06 Feb 2020 19:24:32 +0900 | ryokka | fix agda.tex |
| Wed, 05 Feb 2020 02:48:31 +0900 | ryokka | modify |
| Mon, 03 Feb 2020 21:47:43 +0900 | ryokka | fix, and add mindmap->pdf |
| Wed, 29 Jan 2020 22:36:17 +0900 | ryokka | fix chapter hoare |
| Mon, 27 Jan 2020 20:46:38 +0900 | ryokka | fix |
| Mon, 27 Jan 2020 20:41:36 +0900 | ryokka | add code, figure. and paper fix content |
| Thu, 16 Jan 2020 19:21:45 +0900 | ryokka | fix |
| Thu, 02 Jan 2020 21:25:52 +0900 | ryokka | Initialize |