Mercurial > hg > Members > kono > Proof > category

changeset 1043:35a3d5b194b7

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Added tag internal-language for changeset a929a58a389d
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Fri, 09 Apr 2021 09:50:58 +0900
parents a929a58a389d
children aa3ec90f5b78
files .hgtags
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/.hgtags	Fri Apr 09 09:29:30 2021 +0900
+++ b/.hgtags	Fri Apr 09 09:50:58 2021 +0900
@@ -17,3 +17,4 @@
 bd32a37784b0244b938be1efff3c0dc92ee5480a current
 949f83b3a8f04d6af4f613662e6563607c07fcb7 Topos
 c3b3faa791fa7a3167188fc2b4b5769930a5eee6 sets-topos
+a929a58a389d611f2ac29abddcfde186f83e0da6 internal-language