Mercurial > hg > Members > kono > Proof > ZF-in-agda

comparison .hgtags @ 632:1b57a07d7604

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Added tag release for changeset 1150b006059b
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 20 Jun 2022 18:47:37 +0900
parents 7476a22edf7e
children a92aacd3d83a
comparison
equal deleted inserted replaced
631:1150b006059b 632:1b57a07d7604
34 45fefbfd4871a5cf695955a4693d77ec8ae2b5f8 release 34 45fefbfd4871a5cf695955a4693d77ec8ae2b5f8 release
35 e0916a6329710d1a3ca7208ca7dfd3f0171299f1 curret 35 e0916a6329710d1a3ca7208ca7dfd3f0171299f1 curret
36 0000000000000000000000000000000000000000 curret 36 0000000000000000000000000000000000000000 curret
37 aa03b9c289c06dccca73b336770fe2868c6cf194 current 37 aa03b9c289c06dccca73b336770fe2868c6cf194 current
38 a5f8084b8368d1d38ffe873530ab19d794badffe current 38 a5f8084b8368d1d38ffe873530ab19d794badffe current
39 45fefbfd4871a5cf695955a4693d77ec8ae2b5f8 release
40 1150b006059bee88a0085739766000d1f93fb666 release