Mercurial > hg > Members > ryokka > HoareLogic

comparison utilities.agda @ 83:cf5e6afbeb7c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fix
author ryokka
date Mon, 06 Jan 2020 16:02:31 +0900
parents 52d957db0222
children 07b183a726f6
comparison
equal deleted inserted replaced
82:33a6fd61c3e6 83:cf5e6afbeb7c