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

changeset 48:4fb2a239061d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Added tag current for changeset 264784731a67
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Sat, 25 May 2019 18:45:47 +0900
parents 264784731a67
children 7c23969befc9
files .hgtags
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/.hgtags	Sat May 25 18:45:47 2019 +0900
@@ -0,0 +1,1 @@
+264784731a67c6781c7aa95f24feabe5c38629ea current