Mercurial > hg > Members > ryokka > HoareLogic

comparison whileTestGears1.agda @ 73:52acd110df18

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fix
author ryokka
date Thu, 26 Dec 2019 17:39:56 +0900
parents b95a3cf9727c
children 07b183a726f6
comparison
equal deleted inserted replaced
72:66ba3b1eec0a 73:52acd110df18