Mercurial > hg > Members > ryokka > HoareLogic

comparison utilities.agda @ 72:66ba3b1eec0a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fix
author ryokka
date Wed, 25 Dec 2019 17:15:17 +0900
parents a39a82820742
children 52d957db0222
comparison
equal deleted inserted replaced
71:57d5a3884898 72:66ba3b1eec0a