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-RC3 for changeset 85de4fdec61b
authorwenzelm
Sat, 25 May 2019 14:13:46 +0200
changeset 70290 0cfc4fa71d1b
parent 70289 85de4fdec61b
child 70291 9f3441164e92
Added tag Isabelle2019-RC3 for changeset 85de4fdec61b
.hgtags file | annotate | diff | comparison | revisions 
--- a/.hgtags	Fri May 24 21:14:02 2019 +0200
+++ b/.hgtags	Sat May 25 14:13:46 2019 +0200
@@ -38,3 +38,4 @@
 6f2ab7f150f6bb27d9e59229035324ce1f94e4ac Isabelle2019-RC0
 9c60fcfdf495375cf1c886d7eb75583f63707950 Isabelle2019-RC1
 805250bb7363dbfcb072ed34bbfb522106bdd21a Isabelle2019-RC2
+85de4fdec61b4c19b5491e61b637b66ae247ef97 Isabelle2019-RC3
isabelle