# HG changeset patch
# User Shinji KONO <kono@ie.u-ryukyu.ac.jp>
# Date 1617929458 -32400
# Node ID 35a3d5b194b746efb8b7d6017066a000fe6c045f
# Parent  a929a58a389d611f2ac29abddcfde186f83e0da6
Added tag internal-language for changeset a929a58a389d

diff -r a929a58a389d -r 35a3d5b194b7 .hgtags
--- 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