Mercurial > hg > Papers > 2020 > ryokka-master
log
age | author | description |
---|---|---|
2020-03-09 | ryokka | fix default tip |
2020-02-17 | ryokka | fix poster |
2020-02-17 | ryokka | fix poster |
2020-02-14 | ryokka | create poster-mm |
2020-02-14 | ryokka | fix paper |
2020-02-11 | ryokka | fix slide |
2020-02-10 | ryokka | fix paper, slide |
2020-02-10 | ryokka | update abstract_eng |
2020-02-10 | ryokka | add hoare figure |
2020-02-08 | ryokka | add slide and slide-mindmap |
2020-02-07 | ryokka | fix cbc_agda, cbc_hoare and Conclusion.tex |
2020-02-06 | ryokka | fix hoare.tex |
2020-02-06 | ryokka | fix agda.tex |
2020-02-04 | ryokka | modify |
2020-02-03 | ryokka | fix, and add mindmap->pdf |
2020-01-29 | ryokka | fix chapter hoare |
2020-01-27 | ryokka | fix |
2020-01-27 | ryokka | add code, figure. and paper fix content |
2020-01-16 | ryokka | fix |
2020-01-02 | ryokka | Initialize |