Mercurial > hg > Members > kono > Proof > category

changeset 1033:a59c51b541a2

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Added tag sets-topos for changeset c3b3faa791fa
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Tue, 30 Mar 2021 23:31:10 +0900
parents c3b3faa791fa
children 40c39d3e6a75
files .hgtags
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/.hgtags	Tue Mar 30 23:30:55 2021 +0900
+++ b/.hgtags	Tue Mar 30 23:31:10 2021 +0900
@@ -16,3 +16,4 @@
 635418b4b2f3f3424ef51699c1e01a1b2900320f current
 bd32a37784b0244b938be1efff3c0dc92ee5480a current
 949f83b3a8f04d6af4f613662e6563607c07fcb7 Topos
+c3b3faa791fa7a3167188fc2b4b5769930a5eee6 sets-topos