Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Added tag Isabelle2019-RC2 for changeset 805250bb7363
authorwenzelm
Sat, 11 May 2019 15:53:11 +0200
changeset 70264 ad0306b89cfb
parent 70263 805250bb7363
child 70265 a8238fd25541
child 70278 94b332206700
Added tag Isabelle2019-RC2 for changeset 805250bb7363
.hgtags file | annotate | diff | comparison | revisions 
--- a/.hgtags	Sat May 11 15:40:08 2019 +0200
+++ b/.hgtags	Sat May 11 15:53:11 2019 +0200
@@ -37,3 +37,4 @@
 91162dd89571fb9ddfa36844fdb1a16aea13adcf Isabelle2018
 6f2ab7f150f6bb27d9e59229035324ce1f94e4ac Isabelle2019-RC0
 9c60fcfdf495375cf1c886d7eb75583f63707950 Isabelle2019-RC1
+805250bb7363dbfcb072ed34bbfb522106bdd21a Isabelle2019-RC2
isabelle