author | wenzelm |
Thu, 02 Apr 2020 11:45:03 +0200 | |
changeset 71665 | 9fdbd2f0b56e |
parent 71664 | 1f3d9a9dd42a |
child 71666 | e15ca98ffbfe |
child 71729 | 8ed68b2aeba1 |
--- a/.hgtags Sat Mar 28 22:18:28 2020 +0100 +++ b/.hgtags Thu Apr 02 11:45:03 2020 +0200 @@ -40,3 +40,4 @@ a8849ac415cc816740fbd8cfaac14501f7468ddb Isabelle2020-RC1 7eadccd4392cc1f3b603c0fa5734d0629f039cc0 Isabelle2020-RC2 7fe1a344404a9f7e6e4cdef584338c6d9849812c Isabelle2020-RC3 +1f3d9a9dd42a9543af7062ca08a36da2c5375454 Isabelle2020-RC4