Mercurial > hg > Papers > 2023 > moririn-sigos

diff gearsAgda.html @ 4:854b01e2ce98

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
...
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 17 Apr 2023 20:31:28 +0900
parents 170b950774a3
children
line wrap: on
line diff