log paper/fig/cgdg.xbb @ 7:8ef64db63497

age author description
Thu, 06 Feb 2020 19:24:32 +0900 ryokka fix agda.tex
Wed, 05 Feb 2020 02:48:31 +0900 ryokka modify