Added tag Isabelle2016-RC0 for changeset e18444532fce
authorwenzelm
Fri Jan 01 16:51:04 2016 +0100 (2016-01-01)
changeset 620302b46a93e829c
parent 62029 e18444532fce
child 62031 8b50da907602
Added tag Isabelle2016-RC0 for changeset e18444532fce
.hgtags
     1.1 --- a/.hgtags	Fri Jan 01 16:50:04 2016 +0100
     1.2 +++ b/.hgtags	Fri Jan 01 16:51:04 2016 +0100
     1.3 @@ -30,3 +30,4 @@
     1.4  4dd08fe126bad63aa05741d55fb3e86a2dbfc795 Isabelle2013-2
     1.5  8f4a332500e41bb67efc3e141608829473606a72 Isabelle2014
     1.6  5ae2a2e74c93eafeb00b1ddeef0404256745ebba Isabelle2015
     1.7 +e18444532fce734c2508ccffd84a4b9f166901e3 Isabelle2016-RC0