Mercurial > hg > Members > kono > Proof > category

annotate .hgtags @ 1113:918a0cf1c056 default tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
...
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Sun, 11 Feb 2024 11:25:40 +0900
parents 35a3d5b194b7
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
687
d0bc017c6b61 Added tag current for changeset 14ad6ec8a662
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
1 14ad6ec8a6626ebc641eb5b019dc4c558a326f60 current
694
2043f7fd4273 Added tag current for changeset 984518c56e96
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 687
diff changeset
2 14ad6ec8a6626ebc641eb5b019dc4c558a326f60 current
2043f7fd4273 Added tag current for changeset 984518c56e96
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 687
diff changeset
3 984518c56e9676a632015fdd4250fa0e1e0fb224 current
718
f2e617dc2c21 Added tag current for changeset a41b2b9b0407
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 694
diff changeset
4 984518c56e9676a632015fdd4250fa0e1e0fb224 current
f2e617dc2c21 Added tag current for changeset a41b2b9b0407
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 694
diff changeset
5 a41b2b9b04075535446201b9f099c4656ac45735 current
728
3275be7cf62d Added tag current for changeset ea84cc6c1797
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 718
diff changeset
6 a41b2b9b04075535446201b9f099c4656ac45735 current
3275be7cf62d Added tag current for changeset ea84cc6c1797
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 718
diff changeset
7 ea84cc6c17975a659ab2e08778f3678943263bea current
764
01c618d94278 Added tag current for changeset 37ddc8228832
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 728
diff changeset
8 ea84cc6c17975a659ab2e08778f3678943263bea current
01c618d94278 Added tag current for changeset 37ddc8228832
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 728
diff changeset
9 37ddc82288326f5b0e5d10eac6379056cbe06e38 current
767
0f8e3b962c13 Added tag current for changeset c30ca91f3a76
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 764
diff changeset
10 37ddc82288326f5b0e5d10eac6379056cbe06e38 current
0f8e3b962c13 Added tag current for changeset c30ca91f3a76
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 764
diff changeset
11 c30ca91f3a766ff9649da04dbff383b0f836c669 current
797
6a47f0030adf Added tag ccc for changeset 472a615c6e09
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 767
diff changeset
12 472a615c6e092e884425dca8a7545bbae552027a ccc
813
9b8ee2ddd92d Added tag graph-to-ccc for changeset 4ff300e1e98c
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 797
diff changeset
13 4ff300e1e98cdd95b32f0632122f387c88500f71 graph-to-ccc
913
c5446790ddb1 Added tag current for changeset 635418b4b2f3
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 813
diff changeset
14 054eecbb5189644af10e4f83b868099d52148274 current
c5446790ddb1 Added tag current for changeset 635418b4b2f3
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 813
diff changeset
15 635418b4b2f3f3424ef51699c1e01a1b2900320f current
951
ae3551ded289 Added tag current for changeset bd32a37784b0
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 913
diff changeset
16 635418b4b2f3f3424ef51699c1e01a1b2900320f current
ae3551ded289 Added tag current for changeset bd32a37784b0
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 913
diff changeset
17 bd32a37784b0244b938be1efff3c0dc92ee5480a current
985
74728d51177b Added tag Topos for changeset 949f83b3a8f0
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 951
diff changeset
18 949f83b3a8f04d6af4f613662e6563607c07fcb7 Topos
1033
a59c51b541a2 Added tag sets-topos for changeset c3b3faa791fa
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 985
diff changeset
19 c3b3faa791fa7a3167188fc2b4b5769930a5eee6 sets-topos
1043
35a3d5b194b7 Added tag internal-language for changeset a929a58a389d
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 1033
diff changeset
20 a929a58a389d611f2ac29abddcfde186f83e0da6 internal-language